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. 2024, 27.