Inostrosa-Psijas, A. (2024) «Verificación formal de un modelo de simulación DEVS de una aplicación Storm», Ingeniare. Revista Chilena de Ingeniería, 27(4). Disponible en: https://ingeniare.uta.cl/index.php/inge/article/view/1053 (Accedido: 10 agosto 2026).