Irfan Zakiuddin Michael Goldsmith Paul Whittaker Paul H. B. Gardiner A Methodology for Model-Checking Ad-hoc Networks. 181-196 2003 conf/spin/2003 SPIN http://link.springer.de/link/service/series/0558/bibs/2648/26480181.htm db/conf/spin/spin2003.html#ZakiuddinGWG03