Yeganefard, S. and Butler, M. (2012) “Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.695.