P. J. Roig, S. Alcaraz, K. Gilly, and C. Juiz, “Study on OSPF Algebraic Formal Modelling Using ACP”, ELEKTRON ELEKTROTECH, vol. 24, no. 4, pp. 77-83, Aug. 2018.