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