“A Fresh Recipe for Designers: HCI Approach to Explore the Nexus Between Design Techniques and Formal Methods in Software Development”. 2016. Latin-American Journal of Computing 3 (2): 10. https://lajc.epn.edu.ec/index.php/LAJC/article/view/111.