Modular Protocol Nets: The Alternating Bit Protocol Example | IEEE Conference Publication | IEEE Xplore