This site has been permanently archived. This is a static copy provided by the University of Southampton.

Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished)