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