Michael Poppleton The Composition of Event-B Models. 209-222 2008 ABZ https://doi.org/10.1007/978-3-540-87603-8_17 conf/asm/2008 db/conf/asm/abz2008.html#Poppleton08