V. Albert and S. S. Ponnusamy, Encoding CDEVS and PDEVS into Timed Petri Net: theory and application, Journées DEVS Francophones, 2016.

L. Alfaro, M. Faella, and M. Stoelinga, Linear and Branching System Metrics, IEEE Trans. Software Eng, vol.35, issue.2, pp.258-273, 2009.

R. Alur, T. Henzinger, O. Kupferman, and M. Vardi, Alternating refinement relations, Lecture Notes in Computer Science, vol.1466, pp.163-178, 1998.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994.

D. Brade and . Taxonomy, Common Validation, Verification and Accreditation Framework for Simulation, REVVA, 2004.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans on Software Engineering, vol.17, issue.3, pp.259-273, 1991.

P. Cerny, T. Henzinger, and A. Radhakrishna, Interface simulation distances, Theoretical Computer Science, vol.560, pp.348-363, 2014.

P. Cerny, T. Henzinger, and A. Radhakrishna, Simulation Distances, Lecture Notes in Computer Science, vol.6269, pp.253-268, 2010.

T. Chatain, A. David, and K. G. Larsen, Playing games with timed games, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00772637

K. Chatterjee and V. S. Prabhu, Quantitative Temporal Simulation and Refinement Distances for Timed Systems, IEEE Transactions on Automatic Control, vol.60, pp.2291-2306, 2015.

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, pp.782-798, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171421

T. A. Henzinger, Quantitative reactive modeling and verification, Journal of Computer Science Research and Development, vol.28, pp.331-344, 2013.

S. S. Ponnusamy, P. Thebault, and V. Albert, Simulation Fidleity-A Game Theoretic Approach, Spring Simulation Multi-Conference, 2016.

S. S. Ponnusamy, V. Albert, and P. Thebault, A simulation fidelity assessment framework, International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.463-471, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912540

M. Roza, Fidelity Requirements Specification: A Process Oriented View. Fall Simulation Interoperability Workshop, 1999.

L. H. Vu, D. Foures, and V. Albert, ProDEVS: an eventdriven modeling and simulation tool for hybrid systems using state diagrams, Proceedings of the 8th International Conference on Simulation Tools and Techniques, pp.29-37, 2015.

B. P. Zeigler, H. Praehofer, and G. K. Tag, Theory of modeling and simulation, 2000.