Galindo Losada, J. A Fresh Recipe for Designers: HCI Approach to Explore the Nexus Between Design Techniques and Formal Methods in Software Development. Revista Latinoamericana De Computación, Vol. 3, n.º 2, Dec. 2016, p. 10, https://lajc.epn.edu.ec/index.php/LAJC/article/view/111.