V. Albert, Simulation validity assessment in the context of embedded system design, Common Validation, Verification and Accreditation Framework for Simulation, 2004.

M. Clark, X. Koutsoukos, R. Kumar, I. Lee, G. Pappas et al., A Study on Run Time Assurance for Complex Cyber Physical Systems, 2013.

P. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-547, 1992.

D. Foures, V. Albert, and A. Nkesta, Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00868406

F. Frantz, A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995.

A. Girard and G. Pappas, Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, pp.1307-1317, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171420

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

D. Gross, Report from the Fidelity Implementation Study Group, Simulation Interoperatbility Workshop, 1999.

H. Kim, Reference model based high fidelity simulation modeling for manufacturing systems, 2004.

B. Lickly, C. Shelton, L. E. , and L. E. , A Practical Ontology Framework for Static Model Analysis, Proceedings of the ninth ACM international conference on Embedded software, pp.23-32, 2011.

O. Maler, IFAC Annual Review in Control, vol.26, issue.2, pp.175-187, 2002.

M. , J. Mandl, T. Lee, E. A. Latronico, E. Shelton et al., Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009.

M. Mazo, A. Davitan, and P. Tabuada, PESSOA: a tool for embedded controller synthesis, Proceedings of the 22nd International Conference on Computer Aided Verification, pp.566-569, 2010.

G. Pappas, Bisimilar linear systems, Automatica, vol.39, pp.2035-2047, 2003.

G. Pola, A. Girard, and P. Tabuada, Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pp.4656-4661, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00307012

S. Ponnusamy, V. Albert, and P. Thebault, Modeling & Simulation framework for the inclusion of simulation objectives by abstraction, th International Conference on Simulation and Modeling Methodologies, Technologies & Applications, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912545

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

M. Sebti, A. Girard, and G. Gregor, CoSyMA: a tool for controller synthesis using multi-scale abstractions, 16th international conference on Hybrid Systems: Computation and Control, HSCC'13, pp.83-88, 2013.

O. Stursberg and B. Krogh, Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Hybrid systems: Computation and Control, Lecture Notes in Computer Science, vol.2623, pp.482-497, 2003.

A. Tiwari, N. Shankar, and J. Rushby, Invisible Formal Methods for Embedded Control Systems, Proceedings of the IEEE, vol.91, pp.29-39, 2003.

C. Tomlin, M. I. Bayen, A. Oishi, and M. , Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, 2003.

D. A. Wagner, M. B. Bennett, R. Karban, N. Rouquette, S. Jenkins et al., An ontology for State Analysis: Formalizing the mapping to SysML, Aerospace Conference, 2012.
DOI : 10.1109/aero.2012.6187335
URL : http://www.omgsysml.org/State_Analysis_Ontology _in_SysML.pdf

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