J. Abrial, The B-Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

R. Alur and D. Dill, The theory of timed automata, Proceedings REX workshop on Real-Time: Theory and Practice, pp.45-73, 1991.
DOI : 10.1007/BFb0031987

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

H. Amjad, Combining model checking and theorem proving, pp.15-16, 2004.

M. Ammerlaan, R. L. Spelberg, and W. Toetenel, 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.

K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl, Abstracting WS1S Systems to Verify Parameterized Networks, Proceedings of the 6th Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp.188-204, 2000.
DOI : 10.1007/3-540-46419-0_14

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.6696

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.

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexampleguided abstraction refinement, Computer Aided Verification, pp.154-169, 2000.

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

K. Havelund and N. Shankar, Experiments in theorem proving and model checking for protocol verification, FME'96: Industrial Benefit and Advances in Formal Methods, pp.662-681, 1996.
DOI : 10.1007/3-540-60973-3_113

T. 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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.676

T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, Abstractions from proofs, 31st Annual Symp. Princ. of Prog. Lang. (POPL 2004), pp.232-244, 2004.
DOI : 10.1145/2641638.2641655

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1200

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

E. Kang, Real-time system verification techniques based on abstraction/deduction and model checking, Proceedings the 5th International Conference on Integrated Formal Methods, Doctoral Symposium, CS-Report 05-29, pp.26-32, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000641

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

K. Kristoffersen, F. Laroussinie, K. 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. L. Spelberg, W. 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

Z. Manna and A. Pnueli, Verification of parameterized programs Verification of parameterized programs, Specification and Validation Methods, pp.167-230, 1995.

R. Milner, Communication and Concurrency, 1989.

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

S. Tripakis and S. Yovine, Analysis of timed systems based on timeabstracting bisimulations, Proceedings 8th International Conference on Computer Aided Verification, CAV'96, 1996.

P. Wolper and V. Lovinfosse, Verifying properties of large sets of processes with network invariants, Proceedings of Automatic Verification Methods for Finite State Systems, pp.68-80, 1990.
DOI : 10.1007/3-540-52148-8_6

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