Reasoning about Group-Based Mobility in MANETs | IEEE Conference Publication | IEEE Xplore