C. Bhandal, M. Bouroche, and A. Hughes, “A Process Algebraic Description of a Temporal Wireless Network Protocol”, eceasst, vol. 45, Sep. 2011.