Bhandal, C., Bouroche, M. and Hughes, A. (2011) “A Process Algebraic Description of a Temporal Wireless Network Protocol”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.660.