Russell J. Haines Gary Clemo Alistair D. Munro Petri-nets for formal verification of MAC protocols. 39-47 2007 1 IET Software 2 http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4197556&arnumber=4197557&count=3&index=0 db/journals/iee/iet-s1.html#HainesCM07