Juan Roig, P.; Alcaraz, S.; Gilly, K. Formal Specification of Spanning Tree Protocol Using ACP. ELEKTRON ELEKTROTECH 2017, 23, 84-91.