Inostrosa-Psijas A, Oyarzún-Silva M, Medina-Quispe F, García-Barrera F, Solar-Gallardo R. Formal verification of a DEVS simulation model of a Storm application. Ingeniare, Rev. chil. ing. [Internet]. 2024 Dec. 20 [cited 2026 Nov. 8];27(4). Available from: https://ingeniare.uta.cl/index.php/inge/article/view/1053