selected publications academic article Modeling IMS services. HAL (Le Centre pour la Communication Scientifique Directe). 2007