Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. - Rafael Braga da Costa; José Creissac Campos (INTERACT (2), 2023)