Rybalchenko, Andrey Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;
Meyer, R., Faber, J., & Rybalchenko, A. (2006). Model Checking Duration Calculus: A Practical Approach. In K. Barkaoui, A. Cavalcanti, & A. Cerone (Eds.), Theoretical Aspects of Computing -- ICTAC 2006 (pp. 332-346). Berlin: Springer. doi:10.1007/11921240_23.