Faber, Johannes Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Meyer, R., Faber, J., & Rybalchenko, A. (2006). Model checking Duration Calculus: a practical approach. In Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium (pp. 332-346). Berlin, Germany: Springer.