Ahmad Zafar, N. .; Afzaal, H. . Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance. EAI Endorsed Trans IoT 2017, 3, e1.