Inostrosa-Psijas A, Oyarzún-Silva M, Medina-Quispe F, García-Barrera F, Solar-Gallardo R. Verificación formal de un modelo de simulación DEVS de una aplicación Storm. Ingeniare, Rev. chil. ing. [Internet]. 20 de diciembre de 2024 [citado 10 de agosto de 2026];27(4). Disponible en: https://ingeniare.uta.cl/index.php/inge/article/view/1053