Yeganefard, S.; Butler, M. Structuring Functional Requirements of Control Systems to Facilitate Refinement-Based Formalisation. ECEASST 2012, 46.