Approches outillées pour le développement de systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité. (Approaches and tool for the development of interactive systems integrating dependability and usability aspects). - Adrienne Tankeu Choitat (2011)