Ricardo Bedin França Leandro Buss Becker Jean-Paul Bodeveix Jean-Marie Farines Mamoun Filali Towards Safe Design of Synchronous Bus Protocols in Event-B. 170-185 2009 SBMF http://dx.doi.org/10.1007/978-3-642-10452-7_12 conf/sbmf/2009 db/conf/sbmf/sbmf2009.html#FrancaBBFF09