Code for Lecture 2 - Formal Tools and HCI Concepts