Model Checking MANETs with Arbitrary Mobility. - Fatemeh Ghassemi; Saeide Ahmadi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2013)