Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. - Sanaz Yeganefard; Michael J. Butler; Abdolbaghi Rezazadeh (NASA Formal Methods, 2010)

Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. - Sanaz Yeganefard; Michael J. Butler (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Control Systems: Phenomena and Structuring Functional Requirement Documents. - Sanaz Yeganefard; Michael J. Butler (ICECCS, 2012)

Problem decomposition and sub-model reconciliation of control systems in Event-B. - Sanaz Yeganefard; Michael J. Butler (IRI, 2013)

From requirement document to formal modelling and decomposition of control systems. - Sanaz Yeganefard (2014)