Formal Specification of Spanning Tree Protocol Using ACP. ELEKTRON ELEKTROTECH. 2017;23(2):84-91. doi:10.5755/j01.eie.23.2.18005