[. Bibliography and . Aberth, Computable Calculus, 2001.

R. Alur, L. David, and . Dill, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.

A. Alexandrescu, Modern C++ design: generic programming and design patterns applied, 2001.

F. James and . Allen, An interval-based representation of temporal knowledge, IJCAI, pp.221-226, 1981.

F. James and . Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.

C. André, Syntax and semantics of the clock constraint specification language (CCSL)

[. Bipm, I. Ifcc, I. Iupac, and O. Iso, The international vocabulary of metrology?basic and general concepts and associated terms (vim), JCGM, 2008.

[. Bipm, Guide to the expression of uncertainty in measurement with supplement 1, evaluation of measurement data, jcgm 101: 2008. Organization for Standardization, 1995.

[. Beraldi, L. Nigro, and A. Orlando, Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry, SIMULATION: Transactions of the Society for Modeling and Simulation, vol.79, issue.10, pp.581-597, 2003.
DOI : 10.1177/0037549703039948

J. Bolduc and H. Vangheluwe, A modeling and simulation package for classic hierarchical DEVS, 2002.

[. Cert, The CERT C secure coding standard, 2008.

S. Cert, The CERT C++ secure coding standard. Pearson Education, 2008.

J. Gregory and . Chaitin, A theory of program size formally identical to information theory, Journal of the ACM (JACM), vol.22, issue.3, pp.329-340, 1975.

A. Chung, H. Chow, P. Bernard, and . Zeigler, Parallel devs: A parallel, hierarchical, modular, modeling formalism, Proceedings of the 26th conference on Winter simulation Society for Computer Simulation International, pp.716-722, 1994.

[. Chow, P. Bernard, D. Zeigler, and . Kim, Abstract simulator for the parallel devs formalism Distributed Interactive Simulation Environments, AI, Simulation, and Planning in High Autonomy Systems Proceedings of the Fifth Annual Conference on, pp.157-163, 1994.

O. Dahl and K. Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.
DOI : 10.1145/365813.365819

J. Filippi and P. Bisgambiglia, Enabling large scale and high definition simulation of natural systems with vector models and JDEVS, Proceedings of the Winter Simulation Conference, pp.1964-1970, 2002.
DOI : 10.1109/WSC.2002.1166497

J. Filippi and P. Bisgambiglia, JDEVS: an implementation of a DEVS based formal framework for environmental modelling, Environmental Modelling & Software, vol.19, issue.3, pp.261-274, 2004.
DOI : 10.1016/j.envsoft.2003.08.016

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

R. Franceschini, P. Bisgambiglia, L. Touraille, P. Bisgambiglia, D. Hill et al., A survey of modelling and simulation software frameworks using discrete event system specification, 2014 Imperial College Computing Student Workshop, p.40, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01145611

M. Richard and . Fujimoto, Exploiting temporal uncertainty in parallel and distributed simulations, Proceedings of the thirteenth workshop on Parallel and distributed simulation, pp.46-53, 1999.

M. Gutierrez-alcaraz and G. Wainer, Experiences with the devstone benchmark, Proceedings of the 2008 Spring simulation multiconference, pp.447-455, 2008.

G. Valerio-gheri, F. Castellari, and . Quaglia, Controlling bias in optimistic simulations with space uncertain events DS-RT, Distributed Simulation and Real-Time Applications 12th IEEE/ACM International Symposium on, pp.157-164, 2008.

[. Gupta, A. Thomas, R. Henzinger, and . Jagadeesan, Robust timed automata, Hybrid and Real-Time Systems, pp.331-345, 1997.
DOI : 10.1007/BFb0014736

W. Peter and . Glynn, A gsmp formalism for discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.14-23, 1989.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Glinsky and G. Wainer, DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp.265-272, 2005.
DOI : 10.1109/DISTRA.2005.18

[. Hwang and S. Cho, Timed behavior analysis of schedule preserved devs

M. Hybinette and R. Fujimoto, Cloning, Proceedings of the 29th conference on Winter simulation , WSC '97, pp.444-451
DOI : 10.1145/268437.268523

M. Hybinette, M. Richard, and . Fujimoto, Cloning parallel simulations, ACM Transactions on Modeling and Computer Simulation, vol.11, issue.4, pp.378-407, 2001.
DOI : 10.1145/508366.508370

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Hybinette, M. Richard, and . Fujimoto, Scalability of parallel simulation cloning Communicating sequential processes, Simulation Symposium, 2002. Proceedings. 35th Annual, pp.275-282666, 1978.

W. Hoover, Time reversibility, computer simulation, and chaos, World Scientific, 1999.
DOI : 10.1142/9789812815071

J. Hong, H. Song, . Tag-gon, K. Kim, and . Park, A real-time discrete event system specification formalism for seamless real-time software development, pp.355-375, 1997.

J. Himmelspach, M. Adelinde, and . Uhrmacher, Sequential processing of pdevs models, Proceedings of the 3rd EMSS, pp.239-244, 2006.

J. Himmelspach, M. Adelinde, and . Uhrmacher, The event queue problem and pdevs, Proceedings of the 2007 spring simulation multiconference, pp.257-264, 2007.

J. Himmelspach, M. Adelinde, and . Uhrmacher, Plug'n Simulate, 40th Annual Simulation Symposium (ANSS'07), pp.137-143, 2007.
DOI : 10.1109/ANSS.2007.34

[. Hwang, Devs++: C++ open source library of devs formalism, 2007.

[. Hwang, DEVS++: C++ Open Source Library of DEVS Formalism. On-line resource at http://odevspp.sourceforge.net/ [Last checked, 2009.

[. Hwang, P. Bernard, and . Zeigler, A modular verification framework based on finite

X. Hu and B. P. Zeigler, The Architecture of GenDevs: Distributed Simulation in DEVSJAVA. On-line manual at http://acims.asuThe- Architecture-of-GenDevs-Distributed-Simulation-in-DEVSJAVA-.pdf [Last checked, 2008.

V. Janou?ek and E. Kironsk, Kironsk`y. Exploratory modeling with smalldevs, Proc. of ESM 2006, pp.122-126, 2006.

E. Kofman and S. Junco, Quantized-state systems: a devs approach for continuous system simulation. Transactions of the Society for Modeling and Simulation International, pp.123-132, 2001.

Y. J. , K. , and T. Kim, A heterogeneous simulation framework based on the devs bus and the high level architecture, Simulation Conference Proceedings, pp.421-428, 1998.

K. Kim, W. Kang, B. Sagong, and H. Seo, Efficient distributed simulation of hierarchical devs models: transforming model structure into a non-hierarchical one, Simulation SymposiumSS 2000) Proceedings. 33rd Annual, pp.227-233, 2000.

M. Lacage, Outils d'Expérimentation pour la Recherche en Réseaux, 2010.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

A. Edward and . Lee, Constructive models of discrete and continuous physical phenomena, 2014.

L. Margaret, . Loper, M. Richard, and . Fujimoto, Pre-sampling as an approach for exploiting temporal uncertainty, Proceedings of the fourteenth workshop on Parallel and distributed simulation, pp.157-164, 2000.

L. Margaret, . Loper, M. Richard, and . Fujimoto, A case study in exploiting temporal uncertainty in parallel simulations, Parallel Processing ICPP 2004. International Conference on, pp.161-168, 2004.

L. Margaret, . Loper, M. Richard, and . Fujimoto, Exploiting temporal uncertainty in processoriented distributed simulations, Proceedings of the 36th conference on Winter simulation, pp.395-401, 2004.

A. López and G. A. Wainer, Improved Cell-DEVS Model Definition in CD++, Proceedings of ACRI, 2004.
DOI : 10.1007/978-3-540-30479-1_83

[. Milner, A calculus of communicating systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems. In Real-time: theory in practice, pp.447-484, 1992.
DOI : 10.1007/bfb0032003

A. Muzy, J. James, and . Nutaro, Algorithms for efficient implementations of the devs & dsdevs abstract simulators, 1st Open International Conference on Modeling & Simulation (OICMS), pp.273-279, 2005.

E. Ramon and . Moore, Interval analysis Prentice-Hall Englewood Cliffs, 1966. [MP92] Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems: specifications, 1992.

[. Mittal, P. Bernard, and J. Zeigler, Implementation of formal standard for interoperability in m&s/systems of systems integration with devs/soa. International Command and Control C2 Journal, Special Issue: Modeling and Simulation in Support of Network-Centric Approaches and Capabilities, 2009.

E. Richard and . Nance, The time and state relationships in simulation modeling, Communications of the ACM, vol.24, issue.4, pp.173-179, 1981.

Y. Valentinovich, N. , and P. Philippon, Introduction to algebraic independence theory. Number 1752 in Lecture Notes in Mathematics, 2001.

J. Nutaro, ADEVS: User manual and API documentation. On-line document, 2003.

L. James and . Peterson, Petri net theory and the modeling of systems, 1981.

P. Peschlow and P. Martini, A discrete-event simulation tool for the analysis of simultaneous events, Proceedings of the 2nd International ICST Conference on Performance Evaluation Methodologies and Tools, 2007.
DOI : 10.4108/nstools.2007.2019

F. Quaglia and R. Beraldi, Space uncertain simulation events, Proceedings of the eighteenth workshop on Parallel and distributed simulation , PADS '04, pp.181-188, 2004.
DOI : 10.1145/1013329.1013359

R. Ramey, Safe numerics library. https://github.com/robertramey/safe_numerics, 2012. Accessed, pp.2015-2024

H. Saadawi, Verification Methodology for DEVS Models, 2012.

J. A. Sqk11-]-mayerlin-yuleydy-uzcategui-sulbarán, D. Quintero, and K. Kellerer, Galatea: una historia de modelado y simulación, Ciencia e Ingeniería, pp.85-94, 2011.

H. Saadawi and G. Wainer, Rational time-advance DEVS (RTA-DEVS), Proceedings of the 2010 Spring Simulation Multiconference on, SpringSim '10, p.143, 2010.
DOI : 10.1145/1878537.1878686

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Mathison and T. , On computable numbers, with an application to the entscheidungsproblem, J. of Math, vol.58, pp.345-3635, 1936.

D. Vicino, O. Dalle, and G. Wainer, A data type for discretized time representation in DEVS, Proceedings of the Seventh International Conference on Simulation Tools and Techniques, pp.11-20
DOI : 10.4108/icst.simutools.2014.254803

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

D. Vicino, O. Dalle, and G. Wainer, Using finite forkable devs for decisionmaking based on time measured with uncertainty, Proceedings of the 8th International Conference on Simulation Tools and Techniques, pp.89-98
URL : https://hal.archives-ouvertes.fr/hal-01274200

A. Varga and R. Hornig, AN OVERVIEW OF THE OMNeT++ SIMULATION ENVIRONMENT, Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, 2008.
DOI : 10.4108/ICST.SIMUTOOLS2008.3027

D. Vicino, Safe-float library. https://github.com/sdavtaker/safefloat, pp.2015-2024, 2015.

D. Vicino, D. Nayunkuru, G. Wainer, and O. Dalle, Sequential pdevs architecture SCS (The society for modeling and simulation international, Proceedings of the TMS/DEVS 2015, p.2015

H. Van-tendeloo and . Vangheluwe, The modular architecture of the python (p) devs simulation kernel, Proceedings of the 2014 Symposium on Theory of Modeling and Simulation-DEVS, pp.387-392, 2014.

A. Gabriel and . Wainer, Discrete-event modeling and simulation: a practitioner's approach, 2009.

P. Reinhold and . Weicker, Dhrystone: a synthetic systems programming benchmark, Communications of the ACM, vol.27, issue.10, pp.1013-1030, 1984.

G. Wainer, E. Glinsky, and M. Gutierrez-alcaraz, Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark, SIMULATION, vol.18, issue.7, p.0037549710395649, 2011.
DOI : 10.1145/358274.358283

P. Bernard, S. Zeigler, and . Chi, Symbolic discrete event system specification. Systems, Man and Cybernetics, IEEE Transactions on, vol.22, issue.6, pp.1428-1443, 1992.

P. Bernard, H. Zeigler, . Praehofer, . Tag-gon, and . Kim, Theory of modeling and simulation, 1976.

P. Bernard, H. Zeigler, T. Praehofer, and . Kim, Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000.

P. Bernard, H. Zeigler, and . Sarjoughian, Introduction to DEVS modeling & simulation with JAVATM: Developing component-based simulation models, 2003.