Add files from the tutorial at Formal Methods 2014