K. Altisen, G. Gössler, and J. Sifakis, A Methodology for the Construction of Scheduled Systems, Proceedings of FTRTFT 2000, pp.106-120, 1926.
DOI : 10.1007/3-540-45352-0_11

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

M. Bozga, J. Cl, L. Fernandez, S. Ghirvu, J. P. Graf et al., IF: A Validation Environment for Timed Asynchronous Systems
DOI : 10.1007/10722167_41
URL : https://hal.archives-ouvertes.fr/hal-00369415

M. Bozga, S. Graf, and L. Mounier, Automated Validation of Distributed Software using the IF Environment, Workshop on Software Model-Checking, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00374652

H. Garavel, . Open, and . Caesar, An Open Software Architecture for Verification, Simulation , and Testing, Proceedings of TACAS'98, pp.68-84, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

P. Godefroid, VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (short paper), Proceedings of CAV'97, pp.476-479, 1997.

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, 2000.
DOI : 10.1007/s100090050043

J. Gerard and . Holzmann, Design and Validation of Computer Protocols, 1991.

T. Jéron and P. Morel, Test Generation Derived from Model-Checking, Proceedings of CAV'99, pp.108-122, 1999.
DOI : 10.1007/3-540-48683-6_12

S. Swan, An Introduction to System-Level Modeling in Systemc 2.0, 2001.