Petri-nets for formal verification of MAC protocols. - Russell J. Haines; Gary Clemo; Alistair D. Munro (IET Softw., 2007)