R. Alur, C. Courcoubetis, and D. Dill, Model-checking in dense real-time. Information and Computation, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

URL : http://doi.org/10.1006/inco.1993.1024

R. Alur and D. Dill, The theory of timed automata, Theoretical Computer Science, issue.126, pp.183-235, 1994.

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=

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

D. Cansell and D. Mery, Tutorial on the event-based B method, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00092846

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement, 12th CAV00, pp.154-169, 1855.
DOI : 10.1109/time.2003.1214874

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

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7

URL : http://doi.org/10.1016/0743-1066(92)90030-7

D. Dill and H. Wong-toi, Verification of real-time systems by successive over and under approximation, 7th CAV95, pp.409-422, 1995.
DOI : 10.1007/3-540-60045-0_66

S. Graf and H. Saidi, Construction of abstract state graphs with PVS, 9th CAV97, pp.72-83, 1254.
DOI : 10.1007/3-540-63166-6_10

N. Halbwachs, Delay analysis in synchronous programs, LNCS, vol.93, issue.697, 1993.
DOI : 10.1007/3-540-56922-7_28

T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, Abstractions from proofs, 31st POPL, 2004.
DOI : 10.1145/2641638.2641655

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

E. Kang, Parametric analysis of real-time embedded systems with abstract approximation interpretation, 26th ICSE, 2004.

E. Kang and S. Merz, Predicate diagrams for the verification of real-time system, 5th AVoCS05, 2005.

K. Namjoshi and R. Kurshan, Syntactic Program Transformations for Automatic Abstraction, LNCS, pp.435-449, 1855.
DOI : 10.1007/10722167_33

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, 23th MFCS98, pp.54-71, 1450.
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