S. Yeganefard and M. Butler, “Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation”, ECEASST, vol. 46, Feb. 2012.