A modal my-calculus for durational transition systems - Seidl, Helmut (Mathematik, Informatik: Forschungsbericht Universität <Trier>, 1995)