Galindo Losada, J. 2016. A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development. Latin-American Journal of Computing. 3, 2 (Dec. 2016), 10.