Giantamidis, G. (2021) “ReForm: A Tool for Rapid Requirements Formalization”, Electronic Communications of the EASST, 79. doi: 10.14279/tuj.eceasst.79.1117.