Giantamidis, G.; Papanikolaou, G.; Miranda, M.; Salinas-Hernando, G.; Valverde-Alcala, J.; Veluru, S.; Basagiannis, S. ReForm: A Tool for Rapid Requirements Formalization. eceasst 2021, 79.