ReForm: A Tool for Rapid Requirements Formalization. - Georgios Giantamidis; Georgios Papanikolaou; Marcelo Miranda; Gonzalo Salinas-Hernando; Juan Valverde-Alcalá; Suresh Veluru 001; Stylianos Basagiannis (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)