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