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