Inostrosa-Psijas, Alonso, et al. «Verificación Formal De Un Modelo De simulación DEVS De Una aplicación Storm». Ingeniare. Revista Chilena De Ingeniería, vol. 27, n.º 4, diciembre de 2024, https://ingeniare.uta.cl/index.php/inge/article/view/1053.