A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. - Mohamed Bouhdadi; Chabbar El Maati; Hafid Belhaj (RCIS, 2007)

Using Event B to Specify QoS in ODP Enterprise Language. - Hafid Belhaj; Youssef Balouki; Mohamed Bouhdadi; Said El Hajji 001 (PRO-VE, 2010)