Fig. 5From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and networkProof of correctness and dynamic checkingBack to article page