Composing Event-B Specifications - Case-Study Experience. - Ali Gondal; Michael Poppleton; Michael J. Butler (SC@TOOLS, 2011)

Feature-oriented reuse with Event-B and Rodin. - Ali Gondal (2013)