A. Inostrosa-Psijas, M. Oyarzún-Silva, F. Medina-Quispe, F. García-Barrera, and R. Solar-Gallardo, “Formal verification of a DEVS simulation model of a Storm application”, Ingeniare, Rev. chil. ing., vol. 27, no. 4, Dec. 2024.