Fig. 4From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and networkHigh-level pseudo code of SFRABack to article page