Inostrosa-Psijas, A. et al. 2024. Verificación formal de un modelo de simulación DEVS de una aplicación Storm. Ingeniare. Revista Chilena de Ingeniería. 27, 4 (dic. 2024).