Verificación formal de un modelo de simulación DEVS de una aplicación Storm. - Inostrosa-Psijas, Alonso; Oyarzún-Silva, Mauricio; Medina-Quispe, Fernando; García-Barrera, Francisco; Solar-Gallardo, Roberto (INGENIARE - Revista Chilena de Ingeniería, 2019)