A. Basu and J. Riecke, Stability issues in ospf routing, Proceedings of the 2001 conference on Applications, technologies, architectures , and protocols for computer communications , SIGCOMM '01, pp.225-236, 2001.

P. Francois, C. Filsfils, J. Evans, and O. Bonaventure, Achieving sub-second IGP convergence in large IP networks, ACM SIGCOMM Computer Communication Review, vol.35, issue.3, pp.35-44, 2005.
DOI : 10.1145/1070873.1070877

K. Ishiguro, Quagga, a routing software package for tcp, 2012.

C. Jard and O. H. Roux, Communicating Embedded Systems, Sofware and Design, Formal Methods, 2010.

D. Katz, K. Kompella, and D. Yeung, Traffic Engineering (TE) Extensions to OSPF Version 2, 2003.
DOI : 10.17487/rfc3630

O. Kummer, F. Wienberg, M. Duvigneau, M. Kohler, D. Moldt et al., Renew the reference net workshop, 2003.

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches, Lecture Notes in Computer Science, vol.1, issue.1???2, pp.54-57, 2009.
DOI : 10.1007/11513988_41
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.3046

J. Moy, RFC 2328 OSPF v2, 1998.