Nadjet Kamel: Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. IHM 2004: 219-222