creators_name: Yeganefard, Sanaz creators_name: Butler, Michael type: monograph datestamp: 2011-02-24 13:43:40 lastmod: 2011-02-24 13:43:40 metadata_visibility: show title: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation ispublished: unpub subjects: deploy_method_reqevo full_text_status: none monograph_type: technical_report date: 2011 publisher: University of Southampton official_url: http://eprints.ecs.soton.ac.uk/22062/ citation: Yeganefard, Sanaz and Butler, Michael (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Technical Report. University of Southampton. (Unpublished)