Fig. 4From: Data offloading in IoT environments: modeling, analysis, and verificationHLPN model of the FARBack to article page