P. Juan Roig, S. Alcaraz, and K. Gilly, “Formal Specification of Spanning Tree Protocol Using ACP”, ELEKTRON ELEKTROTECH, vol. 23, no. 2, pp. 84-91, Apr. 2017.