1. Bozga, M., Fernandez, J.C., Ghirvu, L., Graf, S., Krimm, J.P., Mounier, L., Sifakis, J.: IF: An Intermediate Representation for SDL and its Applications. In: Dssouli, R., Bochmann, G., Lahav, Y. (eds.) Proceedings of SDL FORUM 1999, Montreal, Canada, June 1999, pp. 423–440. Elsevier, Amsterdam (1999)
2. Bozga, M., Graf, S., Mounier, L.: Automated Validation of Distributed Software using the IF Environment. In: Workshop on Software Model-Checking, July 2001. vol. 55, TCS (2001)
3. Lecture Notes in Computer Science;M. Bozga,2002
4. Bozga, M., Lesens, D., Mounier, L.: Model-Checking Ariane-5 Flight Program. In: Proceedings of FMICS 2001, Paris, France, pp. 211–227. INRIA (2001)
5. Lecture Notes in Computer Science;S. Graf,2001