Développement de logiciels avec UML 2 et OCL — Alain Vailly, Pascal André