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