Model checking Timed CSP - Armstrong, P; Lowe, G; Ouaknine, J; Roscoe, A (2012)