Juan Bicarregui Alvaro Arenas Benjamin Aziz Philippe Massonet Christophe Ponsard Towards Modelling Obligations in Event-B. 181-194 2008 ABZ http://dx.doi.org/10.1007/978-3-540-87603-8_15 conf/asm/2008 db/conf/asm/abz2008.html#BicarreguiAAMP08