F. Li and Y. Wang, Routing in vehicular ad hoc networks: A survey, IEEE Vehicular Technology Magazine, vol.2, issue.2, 2007.
DOI : 10.1109/MVT.2007.912927

B. T. Sharef, R. A. Alsaqour, and M. Ismail, Vehicular communication ad hoc routing protocols: A survey, Journal of Network and Computer Applications, vol.40, pp.363-396, 2014.
DOI : 10.1016/j.jnca.2013.09.008

G. K. Walia, A survey on reactive routing protocols of the mobile ad hoc networks, International Journal of Computer Applications, vol.64, issue.22, 2013.

R. Shenbagapriya and N. Kumar, A survey on proactive routing protocols in MANETs, 2014 International Conference on Science Engineering and Management Research (ICSEMR), pp.1-7, 2014.
DOI : 10.1109/ICSEMR.2014.7043630

A. Maghsoudlou, M. St-hilaire, and T. Kunz, A survey on geographic routing protocols for mobile ad hoc networks, 2011.

P. Sondi, D. Gantsou, and S. Lecomte, Design guidelines for quality of service support in Optimized Link State Routing-based mobile ad hoc networks, Ad Hoc Networks, vol.11, issue.1, pp.298-323, 2013.
DOI : 10.1016/j.adhoc.2012.06.001

Y. C. Hu, D. B. Johnson, and A. Perrig, SEAD: secure efficient distance vector routing for mobile wireless ad hoc networks, Ad Hoc Networks, vol.1, issue.1, pp.175-192, 2003.
DOI : 10.1016/S1570-8705(03)00019-2

L. Gyesik, How to formally model features of network security protocols, International Journal of Security and Its Applications, vol.8, issue.1, pp.423-432, 2014.

J. Diaz, D. Arroyo, and F. B. Rodriguez, A formal methodology for integral security design and verification of network protocols, Journal of Systems and Software, vol.89, pp.87-98, 2014.
DOI : 10.1016/j.jss.2013.09.020
URL : http://arxiv.org/pdf/1201.5666

A. Singh and V. Singh, Formal Modeling of Distance Vector Routing Protocol using Event-B. Electronic and Electric Engineering, pp.91-98

D. Méry and N. Singh, Analysis of DSR protocol in e Event-B. Stabilization, Safety, and Security of, Distributed Systems, pp.401-415, 2011.

M. Kamali, L. Laibinis, L. Petre, and K. Sere, Formal development of wireless sensor???actor networks, Science of Computer Programming, vol.80, pp.25-49, 2014.
DOI : 10.1016/j.scico.2012.03.002

A. Yacoub 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
DOI : 10.1109/DS-RT.2014.27
URL : https://hal.archives-ouvertes.fr/hal-01490105

E. Chebbi, P. Sondi, and E. Ramat, Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation, The 9th Int. Conference on Advances in System Simulation. IARIA

A. C. Chow and B. P. Zeigler, Parallel DEVS: a parallel, hierarchical, modular modeling formalism, Proceedings of Winter Simulation Conference, pp.716-722, 1994.
DOI : 10.1109/WSC.1994.717419
URL : http://www.uned.es/555239/Lecturas/Parallel DEVS - A Parallel Hierarchical Modular Modeling Formalism - CHOW ZEIGLER.pdf

F. J. Barros, Modeling formalisms for dynamic structure systems, ACM Transactions on Modeling and Computer Simulation, vol.7, issue.4, pp.501-515, 1997.
DOI : 10.1145/268403.268423
URL : https://estudogeral.sib.uc.pt//bitstream/10316/10705/1/Modeling%20formalisms%20for%20dynamic%20structure%20systems.pdf

F. J. Barros, Abstract simulators for the DSDE formalism, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274), pp.407-412, 1998.
DOI : 10.1109/WSC.1998.745015

L. Rivoirard, M. Wahl, P. Sondi, M. Berbineau, and D. Gruyer, Chain-Branch-Leaf: A clustering scheme for vehicular networks using only V2V communications, Ad Hoc Networks, vol.68, pp.70-84, 2018.
DOI : 10.1016/j.adhoc.2017.10.007
URL : https://hal.archives-ouvertes.fr/hal-01618113