Gavin Lowe. Implementing Generalised Alt - A Case Study in Validated Design using CSP. In Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes, editors, 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Volume 68 of Concurrent Systems Engineering Series, pages 1-34, IOS Press, 2011. [doi]