Specification and verification of the alternating bit protocol by temporal Petri nets | IEEE Conference Publication | IEEE Xplore