Richard Banach Huibiao Zhu Wen Su Xiaofeng Wu Continuous Behaviour in Event-B: A Sketch. 349-352 2012 ABZ http://dx.doi.org/10.1007/978-3-642-30885-7_29 conf/asm/2012 db/conf/asm/abz2012.html#BanachZSW12b