Inostrosa-Psijas, A., Oyarzún-Silva, M., Medina-Quispe, F., García-Barrera, F., & Solar-Gallardo, R. (2024). Formal verification of a DEVS simulation model of a Storm application. Revista Ingeniare, 27(4). Retrieved from https://ingeniare.uta.cl/index.php/inge/article/view/1053