T. R. Andel and A. Yasinsac, On the credibility of manet simulations, Computer, vol.39, issue.7, pp.48-54, 2006.

D. Cavin, Y. Sasson, and A. Schiper, On the Accuracy of MANET Simulators, Proceedings of the Second ACM International Workshop on Principles of Mobile Computing, POMC '02, pp.38-43, 2002.

G. Chengetanai and G. B. O'reilly, Survey on simulation tools for wireless mobile ad hoc networks, 2015 IEEE International Conference on Electrical, Computer and Communication Technologies (ICECCT), pp.1-7, 2015.

H. Dacharry and N. Giambiasi, Formal Verification with Timed Automata and DEVS Models: a case study, Proceedings of Argentine Symposium on Software Engineering, pp.251-265, 2005.

H. P. Dacharry and N. Giambiasi, A Formal Verification Approach for DEVS, Proceedings of the 2007 Summer Computer Simulation Conference, SCSC '07, pp.312-319, 2007.

I. Dorathy and M. Chandrasekaran, Simulation tools for mobile ad hoc networks: a survey, Journal of Applied Research and Technology, vol.16, pp.437-445, 2019.

J. Flynn, H. Tewari, and D. O'mahony, JEmu: A real time emulation system for mobile ad hoc networks, Proceedings of the first joint IEI/IEE symposium on telecommunications systems research, pp.262-267, 2001.

H. Frey, D. Görgen, J. K. Lehnert, and P. Sturm, A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications, Scientific Engineering of Distributed Java Applications, pp.116-127, 2004.

N. Giambiasi, From Sequential Machines to DEVS Formalism, Proceedings of the 2009 Summer Computer Simulation Conference, SCSC '09, pp.216-222, 2009.

N. Giambiasi and J. Carmona, Generalized discrete event abstraction of continuous systems: {GDEVS} formalism, Simulation Modelling Practice and Theory, vol.14, pp.47-70, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01479658

C. Gomes, C. Thule, D. Broman, P. G. Larsen, and H. Vangheluwe, Co-Simulation: A Survey, ACM Comput. Surv. vol, vol.51, issue.3, p.33, 2018.

M. Gunes, M. Wenig, and A. Zimmermann, Improving MANET Simulation Results -Deploying Realistic Mobility and Radio Wave Propagation Models, 12th IEEE Symposium on Computers and Communications, pp.39-44, 2007.

L. Hogie, P. Bouvry, and F. Guinand, An Overview of MANETs Simulation, Electron. Notes Theor. Comput. Sci. vol, vol.150, issue.1, pp.81-101, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02501325

M. H. Hwang, Taxonomy of DEVS Subclasses for Standardization, Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, TMS-DEVS '11, pp.152-159, 2011.

M. H. Hwang, :6, Society for Computer Simulation International, Proceedings of the Symposium on Theory of Modeling & Simulation -DEVS Integrative, DEVS '14, vol.22, pp.1-22, 2014.

M. H. Hwang and B. P. Zeigler, A reachable graph of finite and deterministic DEVS networks, SIMULATION SERIES, vol.38, issue.1, p.48, 2006.

M. H. Hwang and B. P. Zeigler, Reachability Graph of Finite and Deterministic DEVS Networks, IEEE Transactions on Automation Science and Engineering, vol.6, issue.3, pp.468-478, 2009.

P. M. Institute, A Guide To The Project Management Body Of Knowledge (PMBOK Guides), 2004.

N. Ivanic, B. Rivera, and B. Adamson, Mobile Ad Hoc Network emulation environment, MILCOM 2009 -2009 IEEE Military Communications Conference, pp.1-6, 2009.

D. B. Johnson, D. A. Maltz, and J. Broch, Ad Hoc Networking". Chapter DSR: The Dynamic Source Routing Protocol for Multihop Wireless Ad Hoc Networks, pp.139-172, 2001.

V. D. Khairnar and S. N. Pradhan, Mobility models for Vehicular Ad-hoc Network simulation, 2011 IEEE Symposium on Computers Informatics, pp.460-465, 2011.

W. Kiess and M. Mauve, A survey on real-world implementations of mobile ad-hoc networks, Ad Hoc Networks, vol.5, issue.3, pp.324-339, 2007.

T. Kim, M. H. Hwang, D. Kim, and B. P. Zeigler, DEVS/NS-2 Environment: Integrated Tool for Efficient Networks Modeling and Simulation, Proceedings of the 2007 Spring Simulation Multiconfer, vol.2, pp.219-226, 2007.

Y. J. Kim, J. H. Kim, and T. G. Kim, Heterogeneous Simulation Framework Using DEVS BUS". SIMULATION vol, vol.79, issue.1, pp.3-18, 2003.

M. Klein, Dianemu: A java based generic simulation environment for distributed protocols, 2003.

S. Kurkowski, T. Camp, and M. Colagrosso, MANET Simulation Studies: The Incredibles, SIGMOBILE Mob. Comput. Commun. Rev, vol.9, issue.4, pp.50-61, 2005.

S. V. Mallapur and S. R. Patil, Survey on simulation tools for mobile ad-hoc networks, International Journal of Computer Networks and Wireless Communications (IJCNWC), vol.2, issue.2, 2012.

J. Manpreet and . Malhotra, A survey on MANET simulation tools, Innovative Applications of Computational Intelligence on Power, Energy and Controls with their impact on Humanity, pp.495-498, 2014.

A. Mohammed and A. Al-ghrairi, DIFFERENCES BETWEEN AD HOC NETWORKS AND MOBILE AD HOC NETWORKS: A SURVEY, vol.54, p.12, 2019.

F. Muchtar, A. H. Abdullah, M. S. Latiff, S. Hassan, M. H. Wahab et al., A technical review of MANET testbed using mobile robot technology, In Journal of Physics: Conference Series, vol.1049, p.12001, 2018.

D. Murray-smith, Modelling and Simulation of Integrated Systems in Engineering: Issues of Methodology, Quality, Testing and Application, 2012.

C. E. Perkins and E. M. Royer, Ad-hoc on-demand distance vector routing, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications, pp.90-100, 1999.

G. Phillips-wren and L. Jain, Artificial Intelligence for Decision Making". In Knowledge-Based Intelligent Information and Engineering Systems, pp.531-536, 2006.

D. G. Reina, M. Askalani, S. L. Toral, F. Barrero, E. Asimakopoulou et al., A Survey on Multihop Ad Hoc Networks for Disaster Response Scenarios, International Journal of Distributed Sensor Networks, vol.11, issue.10, p.647037, 2015.

G. F. Riley and T. R. Henderson, The ns-3 Network Simulator, pp.15-34, 2010.

R. G. Sargent, Some approaches and paradigms for verifying and validating simulation models, Simulation Conference, vol.1, pp.106-114, 2001.

R. G. Sargent, Verification and Validation of Simulation Models, Proceedings of the Winter Simulation Conference, WSC '11, pp.183-198, 2011.

C. Schindelhauer, T. Lukovszki, S. Rührup, and K. Volbert, Worst Case Mobility in Ad Hoc Networks, Proceedings of the Fifteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '03, pp.230-239, 2003.

A. Schmitz and M. Wenig, The Effect of the Radio Wave Propagation Model in Mobile Ad Hoc Networks, Proceedings of the 9th ACM International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM '06, pp.61-67, 2006.

M. L. Sichitiu, Mobility Models for Ad Hoc Networks, pp.237-254, 2009.

M. Takai, J. Martin, and R. Bagrodia, Effects of Wireless Physical Layer Modeling in Mobile Ad Hoc Networks, Proceedings of the 2Nd ACM International Symposium on Mobile Ad Hoc Networking &Amp; Computing, MobiHoc '01, pp.87-94, 2001.

S. Tüncel, H. Ekiz, and A. Zengin, Design and implementation of a new MANET simulator model for AODV simulation, vol.24, 2016.

A. Varga and R. Hornig, An Overview of the OMNeT++ Simulation Environment, Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, Simutools '08, vol.60, 2008.

J. Vaubourg, V. Chevrier, and L. Ciarletta, Intégration de simulateurs existants à une plateforme de co-simulation basée sur DEVS, Loria & Inria Grand Est, 2015.

A. Yacoub, M. E. Hamri, and C. Frydman, Using DEv-PROMELA for Modelling and Verification of Software, Proceedings of the 2016 Annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS '16, pp.245-253, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01490105

Y. J. , K. , and T. Kim, A heterogeneous simulation framework based on the DEVS BUS and the high level architecture, Winter Simulation Conference. Proceedings (Cat. No.98CH36274), vol.1, pp.421-428, 1998.

B. P. Zeigler, Theory of Modeling and Simulation, 1976.

B. P. Zeigler, T. G. Kim, and H. Praehofer, Theory of Modeling and Simulation, 2000.

B. P. Zeigler, A. Muzy, and E. Kofman, Theory of Modeling and Simulation, 2019.