“Formal Specification of Spanning Tree Protocol Using ACP”. Elektronika Ir Elektrotechnika, vol. 23, no. 2, Apr. 2017, pp. 84-91, https://doi.org/10.5755/j01.eie.23.2.18005.