R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Alur and D. A. Dill, The theory of Timed Automata, In: Theorical Computer Science, vol.126, p.2, 1994.

P. Bremond-gregoire, J. Y. Choi, and I. Lee, The soundness and completeness of ACSR, 1993.

B. Berthomieu and M. Diaz, Modeling and Verification of Time Dependant Systems Using Petri Nets, IEEE Transactions of Software Engineering, vol.17, issue.3, p.259273, 1991.

. Bdm-+-98-]-m, C. Bozga, O. Daws, A. Maler, S. Olivero et al., KRONOS: a modelchecking tool for real-time systems, Computer Aided Verification, CAV'98, 1998.

M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober et al., Timed Extensions for SDL in LNCS " SDL Forum Using on-the-fly verification techniques for the generation of test suites, CAV'96, 1996.

S. Haar, F. Simonot-lion, and L. Kaiser, Equivalence of timed state machines and safe TPN, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002.
DOI : 10.1109/WODES.2002.1167678
URL : https://hal.archives-ouvertes.fr/inria-00100864

L. Kaiser, Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes, Thèse de doctorat de l'Institut National Polytechnique de Lorraine, 2001.

O. Koné and R. Castanet, Conformance with Time Extensions Adaptative timed tests for temporal interoperability verification, 3rd IEEE International Workshop on Factory Communication Systems - WFCS2000, 1995.

L. Kaiser and F. Simonot-lion, An Hybrid Method for the Validation of Real-time Systems, Proceedings 4 th IFAC International Conference on Fieldbus systems an their Applications, pp.210-217, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107527

L. Kaiser, F. Simonot-lion, and O. Kone, Verification method of interoperability for real time systems, S4th IFAC International Symposium on Intelligent Components and Instruments for ControlApplications -SICICA'2000, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099103

P. Laurençot, Intégration du temps dans les tests de protocoles de communication, 1999.

P. M. Merlin and D. J. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-103, 1976.
DOI : 10.1109/TCOM.1976.1093424

J. Ostroff, Temporal Logic for Real Time Systems, 1989.

G. Reed and A. Roscoe, Metric spaces as models for real-time concurrency, Proc. Mathematical Foundations of Computer Science, 1987.
DOI : 10.1007/3-540-19020-1_17

J. Toussaint, F. Simonot-lion, and J. Thomesse, Time constraint verification methods based on time Petri nets, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pp.262-267, 1997.
DOI : 10.1109/FTDCS.1997.644736