A. Inostrosa-Psijas, M. Oyarzún-Silva, F. Medina-Quispe, F. García-Barrera, y R. Solar-Gallardo, «Verificación formal de un modelo de simulación DEVS de una aplicación Storm», Ingeniare, Rev. chil. ing., vol. 27, n.º 4, dic. 2024.