Implementing generalised alt - A case study in validated design using CSP - Lowe, G (Concurrent Systems Engineering Series, 2011)