Sorge, Jennifer and Poppleton, Michael and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. Springer, ABZ2010.