Yeganefard, Sanaz and Butler, Michael  (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation.  In: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011).