An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)