Inostrosa-Psijas, Alonso, et al. “Formal Verification of a DEVS Simulation Model of a Storm Application”. Revista Ingeniare, vol. 27, no. 4, Dec. 2024, https://ingeniare.uta.cl/index.php/inge/article/view/1053.