Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. - Himaja Cherukuri; Alessio Ferrari 001; Paola Spoletini (REFSQ, 2022)