title: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation 
creator: Yeganefard, Sanaz
creator: Butler, Michael
subject: Requirements and evolution
publisher: University of Southampton
date: 2011
type: Monograph
type: NonPeerReviewed
relation: http://eprints.ecs.soton.ac.uk/22062/
identifier:   Yeganefard, Sanaz and Butler, Michael  (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.  Technical Report. University of Southampton.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/296/