M. L. Bushnell and V. D. , Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits, 2000.

A. M. Cheadle, W. Harvey, A. Sadler, J. Schimpf, K. Shen et al., Eclipse: An Introduction, 2003.

K. Cheng and A. Krishnakumar, Automatic functional test generation using the extended finite state machine model, Proceedings of the 30th international on Design automation conference , DAC '93, pp.86-91, 1993.
DOI : 10.1145/157485.164585

B. Gilles, L. T. Nana, and V. Nicolas, Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing with Basic Signals, Proceedings of the 6th IEEE International Board Test Workshop, p.7, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00783171

B. Gilles, V. Nicolas, and L. Lemarchand, Timed functional modeling for mixed-signal boards in maintenance testing, Proceedings of the 7th IEEE Latin-American Test Workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00607320

B. Gilles, V. Nicolas, L. Lemarchand, and L. Marcé, Timed functional modeling for mixed-signal boards in maintenance testing: A case study, LISYC, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00607343

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, IEEE Transactions on Computers, 1996.
DOI : 10.1109/5.533956

R. Nikoukhah and S. Steer, SCICOS-a dynamic system builder and simulator, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design, 1997.
DOI : 10.1109/CACSD.1996.555330
URL : https://hal.archives-ouvertes.fr/inria-00069964

C. Paoli, M. Nivet, and J. Santucci, Use of constraint solving in order to generate test vectors for behavioral validation, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786), p.0, 2000.
DOI : 10.1109/HLDVT.2000.889553
URL : https://hal.archives-ouvertes.fr/hal-00184805