R. Alur and D. Dill, Automata for modeling real-time systems, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, pp.322-335, 1990.
DOI : 10.1007/BFb0032042

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

M. Ammerlaan, R. L. Spelberg, and W. J. , XTG-an engineering approach to modelling and analysis of real-time systems, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.88-97, 1998.
DOI : 10.1109/EMWRTS.1998.685072

T. Amnell and M. Others, UPPAAL - Now, Next, and Future, Modeling and Verification of Parallel Processes, pp.99-124, 2001.
DOI : 10.1007/3-540-45510-8_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.263

E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli et al., Data-structures for the verification of timed automata, Proceedings of the 1st International Workshop on Hybrid and Real-Time Systems, pp.346-360, 1997.
DOI : 10.1007/BFb0014737

T. Ball and S. K. Rajamani, The SLAM project: Debugging system software via static analysis, Principles of Programming Languages, pp.1-3, 2002.

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL ??? a tool suite for automatic verification of real-time systems, Hybrid Systems III, pp.232-243, 1995.
DOI : 10.1007/BFb0020949

D. Cansell, D. Mery, and S. Merz, Predicate Diagrams for the Verification of Reactive Systems, Proceedings the 2nd International Conference on Integrated Formal Methods, 1945.
DOI : 10.1007/3-540-40911-4_22
URL : https://hal.archives-ouvertes.fr/inria-00099125

D. Cansell, D. Mery, and S. Merz, Diagram refinements for the design of reactive systems, Journal of Universal Computer Science, vol.7, issue.2, pp.159-174, 2001.

L. Fejoz, D. Méry, and S. Merz, Dixit: a graphical toolkit for predicate abstractions, Intl. Workshop Automatic Verification of Infinite-State Systems (AVIS 2005), pp.39-48, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000767

S. Graf and H. Saidi, Construction of abstract state graphs with PVS, Proceedings 9th International Conference on Computer Aided Verification, CAV'97, pp.72-83, 1997.
DOI : 10.1007/3-540-63166-6_10

T. A. Henzinger and O. Kupferman, From quantity to quality, Proceedings of the 1st International Workshop on Hybrid and Real-Time Systems, 1997.
DOI : 10.1007/BFb0014712

T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, Abstractions from proofs, 31st Annual Symp. Princ. of Prog. Lang, 2004.

E. Kang, Parametric analysis of real-time embedded systems with abstract approximation interpretation, 26th International Conference on Software Engineering, 2004.

K. J. Kristoffersen, F. Laroussinie, K. G. Larsen, P. Pettersson, and W. Yi, A compositional proof of a real-time mutual exclusion protocol, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00904842

R. F. Spelberg, W. J. Toetenel, and M. Ammerlaan, Partition refinement in real-time model checking, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.143-157, 1998.
DOI : 10.1007/BFb0055344

R. Milner, Communication and Concurrency, 1989.

R. F. Spelberg and W. J. , Parametric real-time model checking using splitting trees, Nodic Journal of Computing, vol.8, pp.88-120, 2001.

R. Spelberg, Model Checking Real-Time Systems based on partition refinement, 2004.

S. Tripakis, The Formal Analysis of Timed Systems in practice, 1998.
URL : https://hal.archives-ouvertes.fr/tel-00004907

Y. Kesten and A. Pnueli, Modularization and abstraction: The keys to practical formal verification, Proceedings of the 23th International Sumposium on Mathematical Foundations of Computer Science, pp.54-71, 1998.
DOI : 10.1007/BFb0055757

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050009