J. Galindo Losada, “A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development”, LAJC, vol. 3, no. 2, p. 10, Dec. 2016.