A. R. Alur and D. Dill, Automata for modeling real-time systems, 17th ICALP, 1990.
DOI : 10.1007/BFb0032042

A. K. Altisen, G en eration automatique d'ordonnancements pour syst emes temporis es, 1998.

B. S. Bornot, J. Sifakis, and S. Tripakis, Modeling Urgency in Timed Systems, International Symposium: Compositionality -The Signiicant Diierence, 1997.
DOI : 10.1007/3-540-49213-5_5

C. P. Cousot and R. Cousot, Abstract interpretation: an uniied lattice model for static analysis of programs by construction or approximation of xpoints, Proc. 14th Symp. on Principles of Programming Languages, 1977.

C. P. Cousot and R. Cousot, Abstract interpretation and application to logic programs. Rapport technique, 1992.
DOI : 10.1016/0743-1066(92)90030-7

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

G. Goe988 and . Goessler, Mod elisation et contr^ ole des syst emes multimedia, 1998.

L. , C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani et al., Property preserving abstractions for the veriication of concurrent systems, Formal Methods in System Design, vol.61, p.11144, 1995.

L. G. Leduc and L. L. Eonard, An extended lotos for the design of real-time systems, workshop DARTS'95, 1995.

R. Mil800 and . Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.

M. O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems, Proc. REX Workshop Real-Time: Theory in Practice, p.4477484, 1992.
DOI : 10.1007/bfb0032003

M. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Speciication, 1991.
DOI : 10.1007/978-1-4612-0931-7

N. X. Nicollin, J. Richier, J. Sifakis, and J. Voiron, ATP: an Algebra for Timed Processes, Proc. IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990.

N. X. Nicollin, J. Sifakis, and S. Yovine, Compiling real-time speciications into extended automata, IEEE TSE Special Issue on Real- Time Systems, vol.189, p.7944804, 1992.
DOI : 10.1109/32.159837

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

A. Pnu777 and . Pnueli, The temporal logic of programs, Proc. 18th Symp. on Foundations of Computer Science, p.46657, 1977.

P. A. Puri and P. , Decidability o f h ybrid systems with rectangular diierential inclusions, CAV'94, 1994.
DOI : 10.1007/3-540-58179-0_46

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

C. Ram744 and . Ramchandani, Analysis of asynchronous concurrent systems by petri nets, 1974.

S. J. Sifakis and S. Yovine, Compositional speciication of timed systems, 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, p.3477359, 1996.
DOI : 10.1007/3-540-60922-9_29

URL : http://infoscience.epfl.ch/record/185054

V. M. Vardi and P. Wolper, An automata-theoretic appoach to automatic program veriication, proceedings of the IEEE symposium on logic in computer science, pp.332-344, 1986.
DOI : 10.1007/3-540-50403-6_33