Bhandal, C.; Bouroche, M.; Hughes, A. A Process Algebraic Description of a Temporal Wireless Network Protocol. eceasst 2011, 45.