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