Modelling and Verification of Secure Exams - Rosario Giustolisi (Springer, 2018)