Applicability of Integrating Automata and Z: A Case Study. - Nazir Ahmad Zafar; Fahad Alhumaidan (FIT, 2014)

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. - Hamra Afzaal; Nazir Ahmad Zafar; Fahad Alhumaidan (Int. J. Distributed Sens. Networks, 2017)