M. Arye, R. Harrison, and R. Wang, The Next 10,000 BGP Gadgets: Lightweight Modeling for the Stable Paths Problem

K. Bhargavan, D. Obradovic, and C. A. Gunter, Formal verification of standards for distance vector routing protocols, Journal of the ACM, vol.49, issue.4, pp.538-576, 2002.
DOI : 10.1145/581771.581775

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude: A High-Performance Logical Framework, 2007.

G. Denker, J. Meseguer, and C. Talcott, Formal specification and analysis of active networks and communication protocols: the Maude experience, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00, 2000.
DOI : 10.1109/DISCEX.2000.825030

N. Feamster, R. Johari, and H. Balakrishnan, Implications of Autonomy for the Expressiveness of Policy Routing, ACM SIGCOMM, 2005.

A. Flavel and M. Roughan, Stable and flexible iBGP, ACM SIGCOMM, 2009.
DOI : 10.1145/1592568.1592591
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8828

L. Gao and J. Rexford, Stable internet routing without global coordination, SIGMETRICS, 2000.
DOI : 10.1145/345063.339426
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6928

A. Goodloe, C. A. Gunter, and M. Stehr, Formal prototyping in early stages of protocol design, Proceedings of the 2005 workshop on Issues in the theory of security , WITS '05, 2005.
DOI : 10.1145/1045405.1045413

T. G. Griffin, F. B. Shepherd, and G. Wilfong, The stable paths problem and interdomain routing, IEEE/ACM Transactions on Networking, vol.10, issue.2, pp.232-243, 2002.
DOI : 10.1109/90.993304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.2514

J. P. Meseguer-14, J. Olveczky, and . Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency Real-time maude: A tool for simulating and analyzing real-time and hybrid systems, Theoretical Computer Science Electr. Notes Theor. Comput. Sci, vol.96, issue.36, pp.73-155, 1992.

M. Schapira, Y. Zhu, and J. Rexford, Putting BGP on the right path, Proceedings of the Ninth ACM SIGCOMM Workshop on Hot Topics in Networks, Hotnets '10, 2010.
DOI : 10.1145/1868447.1868450

N. Spring, R. Mahajan, and D. Wetherall, Measuring ISP topologies with Rocketfuel, SIGCOMM'02
DOI : 10.1145/633038.633039
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.2242

L. Subramanian, M. Caesar, C. T. Ee, M. Handley, M. Mao et al., HLP: A Next-generation Interdomain Routing Protocol, SIGCOMM, 2005.

A. Wang, C. Talcott, L. Jia, B. T. Loo, and A. Scedrov, Analyzing BGP Instances in Maude
DOI : 10.1145/1080091.1080095
URL : https://hal.archives-ouvertes.fr/hal-01583330