Fig. 3From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and networkRecovery process of SFRABack to article page