Mobility-aware modeling and evaluation of IoT systems using stochastic reward nets. - Arman Sanahmadi; Mohammad Abdollahi Azgomi; Shidrokh Goudarzi; Mohammad Amin Haji Hosseini (Int. J. Commun. Syst., 2024)