Linda Mohand-Oussaïd Idir Aït-Sadoune Yamine Aït Ameur Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. 200-213 2011 MEDI http://dx.doi.org/10.1007/978-3-642-24443-8_22 conf/medi/2011 db/conf/medi/medi2011.html#Mohand-OussaidAA11