Ana R. Cavalli Stéphane Maag Edgardo Montes de Oca Fatiha Zaïdi A Formal Passive Testing Approach to test a MANET Routing Protocol. 1-6 2009 PerCom Workshops http://dx.doi.org/10.1109/PERCOM.2009.4912874 conf/percom/2009w db/conf/percom/percomw2009.html#CavalliMOZ09