Inostrosa-Psijas, Alonso, Mauricio Oyarzún-Silva, Fernando Medina-Quispe, Francisco García-Barrera, y Roberto Solar-Gallardo. «Verificación Formal De Un Modelo De simulación DEVS De Una aplicación Storm». Ingeniare. Revista Chilena de Ingeniería 27, no. 4 (diciembre 20, 2024). Accedido agosto 10, 2026. https://ingeniare.uta.cl/index.php/inge/article/view/1053.