B. W. Boehm, Classics in software engineering, 1979.

T. Chow, Testing software design modeled by finite-state machines. Software Engineering, IEEE Transactions, issue.43, pp.178-187, 1978.

E. M. Clarke, J. , O. Grumberg, and D. A. Peled, Model Checking, 1999.

M. Dotoli, M. P. Fanti, and A. M. Mangini, Real time identification of discrete event systems using Petri nets, Automatica, vol.44, issue.5, pp.1209-1219, 2008.
DOI : 10.1016/j.automatica.2007.10.014

A. Estrada-vargas, E. Lopez-mellado, and J. Lesage, Automated modelling of reactive discrete event systems from external behavioural data, CONIELECOMP 2013, 23rd International Conference on Electronics, Communications and Computing, pp.120-125, 2013.
DOI : 10.1109/CONIELECOMP.2013.6525771
URL : https://hal.archives-ouvertes.fr/hal-00804415

S. Klein, L. Litz, and J. Lesage, FAULT DETECTION OF DISCRETE EVENT SYSTEMS USING AN IDENTIFICATION APPROACH, 16th IFAC world Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01440
URL : https://hal.archives-ouvertes.fr/hal-00347763

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

M. Meda-campana, A. Ramirez-treviro, and E. Lopez-mellado, Asymptotic identification of discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.2266-2271, 2000.
DOI : 10.1109/CDC.2000.914135

J. Provost, J. Roussel, and J. Faure, Testing programmable logic controllers from finite state machines specification, 2011 3rd International Workshop on Dependable Control of Discrete Systems, pp.0-0, 2011.
DOI : 10.1109/DCDS.2011.5970309
URL : https://hal.archives-ouvertes.fr/hal-00585242

M. Roth, J. Lesage, and L. Litz, Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems, Proceedings of the 2010 American Control Conference, pp.2601-2606, 2010.
DOI : 10.1109/ACC.2010.5530540
URL : https://hal.archives-ouvertes.fr/hal-00525588