R. J. Brooks and A. M. Tobias, Choosing the best model: Level of detail, complexity, and model performance, Journal of Mathematical and Computer Modeling, vol.24, pp.1-14, 1996.
DOI : 10.1016/0895-7177(96)00103-3

URL : https://doi.org/10.1016/0895-7177(96)00103-3

P. A. Fishwick, N. H. Narayanan, J. Sticklen, and A. Bonarini, A Multimodal Approach to Reasoning and Simulation, IEEE Transactions on Systems, Man and Cybernetics, vol.24, issue.10, 1993.

F. K. Frantz, A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995.
DOI : 10.1109/wsc.1995.479055

J. S. Gero and U. Kannengiesser, The situated function-behaviour-structure framework, Design Studies, vol.25, issue.4, pp.373-391, 2004.
DOI : 10.1016/j.destud.2003.10.010

URL : http://www.arch.su.EDU.AU/%7Ejohn/2002pdf/02GeroKannengiesserAID02.pdf

A. Girard and G. J. Pappas, Approximate bisimulation relations for constrained linear systems, 2007.
DOI : 10.1016/j.automatica.2007.01.019

URL : https://hal.archives-ouvertes.fr/hal-00171420

, Automatica, vol.43, pp.1307-1317

A. Girard and G. J. 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-00171714

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

H. Greves, Integrating SysML & OWL, Proceedings of OWL:Experiences and Directions, 2009.

V. L. Hung, D. Foures, and V. Albert, Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation, Natural Language Processing and Information Systems, International Conference on Simulation Tools and Techniques, vol.3513, pp.392-397, 2005.

F. Jahanian and A. K. Mok, Modechart: a specification language for real-time systems, IEEE Transactions on Software Engineering, vol.20, issue.12, pp.933-947, 1994.

S. Jenkins and N. Rouqette, Semantically-rigorous systems engineering using SysML and OWL, International Workshop on System & Concurrent Engineering for Space Applications, 2012.

B. Kuipers, Qualitative Simulation. Encyclopedia of Physical Science and Technology, Third Edition, 2001.

A. Y. Levy, Y. Iwasaki, and R. Fikes, Automated model selection for simulation based on relevance reasoning, Artificial Intelligence, vol.96, pp.351-394, 1997.

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

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

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

F. Maraninchi and Y. Rémond, Mode-Automata: About Modes and States for Reactive Systems, Proceedings of European Symposium on Programming (ESOP), 1998.

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

S. S. Ponnusamy, V. Albert, and P. Thebault, Modeling and simulation framework for the inclusion of simulation objectives by abstraction, International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.385-394, 2014.

S. S. Ponnusamy, A. V. Thebault, and P. , A MetaModel for Consistent & Automatic Simulation Model Selection, International Conference on Simulation Tools and Techniques, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01912572

S. S. Ponnusamy, A. V. Thebault, and P. , Towards an ontology driven framework for simulation model development, European congress on Embedded real time software and systems, AIAA Modeling & Simulation Technologies Conference, 2015.

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

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

. , State of the art for Aerospace ontology, 2014.

R. Stolle and E. Bradley, Multimodal Reasoning for Automatic Model Construction, Proceedings Fifteenth National Conference on Artificial Intelligence, pp.181-188, 1998.

O. Stursberg and B. H. 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.

P. Thebault, T. Suquet, M. Duffy, B. Viaud, P. Will et al., Engineering of complex avionics systems simulations using a model based approach, Proceedings of Embedded Real-time Software and Systems (ERTS), 2014.
URL : https://hal.archives-ouvertes.fr/hal-02272338

C. J. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, pp.986-1001, 2003.

M. K. Traoré and A. Muzzy, Capturing the dual relationship between simulation models and their context. Simulation Modeling Practice and Theory, vol.14, pp.126-142, 2006.

D. A. Wagner, M. B. Bennett, R. Karban, N. Rouquette, S. Jenkins et al., An ontology for State Analysis: Formalizing the mapping to SysML, 2012.

D. S. Zayas, A. Monceaux, and Y. A. Ameur, Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering, ICECCS, pp.355-360, 2010.

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