Guest lecture for students and faculty: Simon Spacey: OpenPAT: Analysing Programs the Easy Way