Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine. - Jorge Luis Pérez-Medina; Stéphanie Marsal-Layat (INFORSID, 2007)