"296","Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation ","","http://deploy-eprints.ecs.soton.ac.uk/296/","Yeganefard, Sanaz and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Yeganefard, Sanaz</span> and <span class=\"person_name\">Butler, Michael</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/296/\"><em>Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.</em></a>       Technical Report.     University of Southampton.         (Unpublished)   ","","2011"