]. E. Bri-88 and . Brinskma, A Theory for the Derivation of Tests

J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence, Software -Concepts and Tools, pp.103-120, 1996.

C. J. Fernandez, T. Jard, . Jéron, and . Viho, An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, vol.29, issue.1-2, pp.123-146, 1997.
DOI : 10.1016/S0167-6423(96)00032-9
URL : https://hal.archives-ouvertes.fr/inria-00073775

L. Brandán and E. Brinksma, A test generation framework for quiescent realtime systems, Proceedings of the 4rd International Workshop on Formal Approaches to Testing of Software, 2004.

S. Seol, M. Kim, S. Kang, and J. Ryu, Fully automated interoperability test suite derivation for communication protocols, Computer Networks, vol.43, issue.6, pp.735-759, 2003.
DOI : 10.1016/S1389-1286(03)00316-5

D. Clarke and I. Lee, Automatic test generation for the analysis of a real-time system: Case study, Proceedings Third IEEE Real-Time Technology and Applications Symposium, 1997.
DOI : 10.1109/RTTAS.1997.601349

R. A. En-nouaary, F. Dssouli, A. Khenedek, and . Elqortobi, Timed test cases generation based on state characterization technique, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739748

]. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli, Generating Test Cases for a Timed I, 1999.

A. Koumsi, M. Akalay, R. Dssouli, A. En-nouaary, and L. Granger, An Approach for Testing Real Time Protocol Entities, 2000.
DOI : 10.1007/978-0-387-35516-0_18

D. Mandrioli, S. Morasca, and A. Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems, vol.13, issue.4, pp.365-398, 1995.
DOI : 10.1145/210223.210226

I. Berrada, R. Castanet, and P. Félix, From the Feasibility Analysis to Real-Time Test Generation, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00408368

M. K. Larsen, B. Mikucionis, and . Nielsenn, Real-time system testing on-the-fly, the 15th Nordic Workshop on Programming Theory, 2003.

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, In SPIN, pp.109-126, 2004.
DOI : 10.1007/978-3-540-24732-6_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.515

A. Cavalli, D. Chen, D. Khuu, and D. Lee, Network Protocol System Passive Testing for Fault Management : A Backward Checking Approach. Proceeding of FORTE, LNCS, vol.3235, 2004.

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

A. Arnold, Finite transiton systems. Semantics of communicating systems, 1994.

M. Barros, R. Boulifa, and E. Madelaine, Parameterized Models for Distributed java Objects. Proceeding of FORTE/PSTV, LNCS, vol.3235, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00087222

A. Cavalli, D. Lee, C. Rinderknecht, and F. Zaïdi, Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proceeding of FORTE/PSTV'99, 1999.
DOI : 10.1007/978-0-387-35578-8_3

C. Jard, T. Jéron, L. Tanguy, and C. Viho, Remote testing can be as powerful as local testing, Proceeding of FORTE/PSTV'99, 1999.
DOI : 10.1007/978-0-387-35578-8_2

A. Khoumsi, T. Jéron, and H. Marchand, Test Cases Generation for Nondeterministic Real-Time Systems, FATES, vol.2003, pp.131-146
DOI : 10.1007/978-3-540-24617-6_10