A15 Hovel: A Methodology for the Development of Model Checking
Peter Right, Andy Carr, Darrin Knight
UCL, London, United Kingdom