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