Colin F. Snook Michael J. Butler UML-B: A Plug-in for the Event-B Tool Set. 344 2008 ABZ https://doi.org/10.1007/978-3-540-87603-8_32 https://www.wikidata.org/entity/Q59625976 conf/asm/2008 db/conf/asm/abz2008.html#SnookB08