A Language for Test Case Refinement in the Test Template Framework. - Maximiliano Cristiá; Diego A. Hollmann; Pablo Albertengo; Claudia S. Frydman; Pablo Rodríguez Monetti (ICFEM, 2011)

Adapting model-based testing techniques to DEVS models validation. - Diego A. Hollmann; Maximiliano Cristiá; Claudia S. Frydman (SpringSim (TMS-DEVS), 2012)

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. - Diego A. Hollmann; Maximiliano Cristiá; Claudia S. Frydman (Simul. Model. Pract. Theory, 2014)

CML-DEVS: A specification language for DEVS conceptual models. - Diego A. Hollmann; Maximiliano Cristiá; Claudia S. Frydman (Simul. Model. Pract. Theory, 2015)

A multi-target compiler for CML-DEVS. - Maximiliano Cristiá; Diego A. Hollmann; Claudia S. Frydman (Simul., 2019)