1. Bézivin, J., O. Gerbé (2001). Towards a Precise Definition of the OMG/MDA Framework, Automated Software Engineering, ASE'01, 16th IEEE International Conference, November 26 - 29, San Diego, CA, USA
2. Blanc, S. (2006). Contribution à la caractérisation et à l'évaluation de l'interopérabilité pour les entreprises collaboratives. PhD thesis, University Bordeaux 1, France, [in french].
3. Blanc, S., Y. Ducq and B. Vallespir (2007). A graph based approach for interoperability evaluation. In Enterprise Interoperability II, Springer, London, proceedings of I-ESA'07, Funchal, Madeira, Portugal, 27–30 March
4. A Formal Verification Framework and Associated Tools for Enterprise Modeling: Application to UEML;Chapurlat,2005
5. Chapurlat, V. and S. Aloui (2006). How to detect risks with a formal approach? From property specification to risk emergence, in proceedings of Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), Paphos, Cyprus.