Galindo Losada, J. A Fresh Recipe for Designers: HCI Approach to Explore the Nexus Between Design Techniques and Formal Methods in Software Development. LAJC 2016, 3, 10.