B. P. Zeigler, Theory of Modeling and Simulation, 1976.

M. Larsson, Behavioral and structural model based approaches to discrete diagnosis, 1999.

N. Giambiasi, J. Santucci, and A. Courbis, Test pattern generation for behavioral descriptions in VHDL, Proceedings of the Euro-VHDL Conference, 1991.
URL : https://hal.archives-ouvertes.fr/hal-00183321

J. Santucci, A. Courbis, and N. Giambiasi, Behavioral testing of digital circuits, Journal of Microelectronic System Integration, vol.1, issue.1
URL : https://hal.archives-ouvertes.fr/hal-00178330

E. Kofman, N. Giambiasi, and S. Junco, FDEVS: A general DEVS-based formalism for fault modeling and simulation, Proceedings of the European Simulation Symposium, 2000.

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, 2000.

B. P. Zeigler, An introduction to set theory, 2003.

A. C. Chow and B. P. Zeigler, Abstract simulator for the parallel DEVS formalism, Fifth Annual Conference on AI, and Planning in High Autonomy Systems, 1994.
DOI : 10.1109/AIHAS.1994.390488

P. J. Ashenden, The designer guide to VHDL, 2001.

L. Capocchi, F. Bernardi, D. Federici, and P. Bisgambiglia, Transformation of VHDL descriptions into DEVS models for fault modeling and simulation, Proceedings of the IEEE Systems , Man and Cybernetics Conference, pp.1205-1211, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00165462

G. S. Fulvio-corno and M. S. Reorda, RTlevel fault simulation techniques based on simulation command scripts, Proceedings of the XV Conference on Design of Circuits and Integrated Systems, pp.825-830, 2000.