108 Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (Unpublished)