Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance Journal title: EAI Endorsed Transactions on Internet of Things Authors: Nazir Ahmad Zafar , Hamra Afzaal Subject(s): Computer and Information Science, Computer Architecture