Stéphane Maag, Cyril Grepet, Ana R. Cavalli: A formal validation methodology for MANET routing protocols based on nodes' self similarity. Comput. Commun. 31(4): 827-841 (2008)