R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, p.1833235, 1994.

J. E. Hopcroft, R. Motwani, J. D. Rotwani, and . Ullman, Introduction to Automata Theory, Languages and Computability, 2000.

B. Jeannet, T. Jjron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), 2005.
DOI : 10.1007/978-3-540-31980-1_23

URL : https://hal.archives-ouvertes.fr/inria-00564617

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, p.46131881321, 2001.

G. Nelson and D. C. Oppen, Simpliication by cooperating decision procedures, ACM Trans. Program. Lang. Syst, vol.1, issue.2, p.2455257, 1979.

V. Rusu, H. Marchand, and T. Jjron, Automatic veriication and conformance testing for validating safety properties of reactive systems, Formal Methods 2005 (FM05), 2005.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete event models, Proceedings of the IEEE Transactions on Automatic Control, p.1055124, 1996.
DOI : 10.1109/cdc.1994.411307

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

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, p.1033120, 1996.

E. Zinovieva, MMthodes symboliques pour la gnnration de tests de systtmes ractifs comportant des donnnes, 2004.