Towards a More Natural Approach to Property Specification in the IVY Workbench. - João Gomes; Mário Arcipreste; Miguel Gomes; José Creissac Campos (INTERACT (3), 2025)