N. . Ahmad Zafar and H. . Afzaal, “Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance”, EAI Endorsed Trans IoT, vol. 3, no. 11, p. e1, Jul. 2017.