A Basis for Feature-Oriented Modelling in Event-B. - Jennifer Sorge; Michael Poppleton; Michael J. Butler (ASM, 2010)