1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
2. Beauquier, D., Crolard, T., Prokofieva, E.: Automatic verification of real time systems: A case study. In: Third Workshop on Automated Verification of Critical Systems (AVoCS 2003), University of Southampton, pp. 98–108 (2003)
3. Lecture Notes in Computer Science;D. Beauquier,2004
4. Beauquier, D., Crolard, T., Slissenko, A.: A predicate logic framework for mechanical verification of real-time Gurevich Abstract State Machines: A case study with PVS. Technical Report 00–25, University Paris 12, Department of Informatics (2000), Available at
http://www.univ-paris12.fr/lacl/
5. Beauquier, D., Rabinovich, A., Slissenko, A.: A logic of probability with decidable model-checking. Journal of Logic and Computation, 24 pages (to appear)