Giantamidis, Georgios, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcala, Suresh Veluru, and Stylianos Basagiannis. “ReForm: A Tool for Rapid Requirements Formalization”. Electronic Communications of the EASST 79 (May 10, 2021). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/2248.