Giantamidis, G., Papanikolaou, G., Miranda, M., Salinas-Hernando, G., Valverde-Alcala, J., Veluru, S., & Basagiannis, S. (2021). ReForm: A Tool for Rapid Requirements Formalization. Electronic Communications of the EASST, 79. https://doi.org/10.14279/tuj.eceasst.79.1117