“Formal Specification of Spanning Tree Protocol Using ACP”, ELEKTRON ELEKTROTECH, vol. 23, no. 2, pp. 84–91, Apr. 2017, doi: 10.5755/j01.eie.23.2.18005.