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