Thai Son Hoang Jean-Raymond Abrial Event-B Decomposition for Parallel Programs. 319-333 2010 ASM https://doi.org/10.1007/978-3-642-11811-1_24 conf/asm/2010 db/conf/asm/abz2010.html#HoangA10