Inostrosa-Psijas, Alonso, Mauricio Oyarzún-Silva, Fernando Medina-Quispe, Francisco García-Barrera, and Roberto Solar-Gallardo. “Formal Verification of a DEVS Simulation Model of a Storm Application”. Revista Ingeniare 27, no. 4 (December 20, 2024). Accessed November 8, 2026. https://ingeniare.uta.cl/index.php/inge/article/view/1053.