G. Giantamidis, “ReForm: A Tool for Rapid Requirements Formalization”, ECEASST, vol. 79, May 2021.