Code for Lecture 3 - Formal Analysis and Cognitive Models

• atm-machine.csp
• atm-machine-new.csp
• atm-user.csp
• atm-spec.gctl
• atm-user-experience.csp
• atm-user-experience-new.csp
• atm-user-sas.csp