Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman. A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simulation Modelling Practice and Theory, 49:1-26, 2014. [doi]
Abstract is missing.