Simulation of a Mobile IoT System Using the DEVS Formalism. - Jung Hyun Im; Ha-Ryoung Oh; Yeong Rak Seong (J. Inf. Process. Syst., 2021)