Case Studies - Alan Dix (The Handbook of Formal Methods in Human-Computer Interaction, 2017)