1. Lecture Notes in Computer Science;A. Annichini,2000
2. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: ACM Symposium on Theory of Computing, pp. 592–601 (1993)
3. Bérard, B., Bouyer, P., Petit, A.: Analysing the pgm protocol with uppaal. In: Pettersson, P., Yi, W. (eds.) Proceedings of the 2nd Workshop RT-TOOLS, Copenhagen, Denmark (August 2002)
4. Lecture Notes in Computer Science;A. Bouajjani,2001
5. Lecture Notes in Computer Science;A. Bouajjani,2001