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