Fig. 1From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and networkSubnets-based representation of WSANsBack to article page