Oskar Wibling Joachim Parrow Arnold Neville Pears Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. 128-142 2005 conf/forte/2005 FORTE http://dx.doi.org/10.1007/11562436_11 db/conf/forte/forte2005.html#WiblingPP05