Fig. 6From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and networkChecking integrity propertiesBack to article page