Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. - Bruno d'Ausbourg; Guy Durrieu; Pierre Roché (DSV-IS, 1996)

Helping the Automated Validation Process of User Interfaces Systems. - Bruno d'Ausbourg; Christel Seguin; Guy Durrieu; Pierre Roché (ICSE, 1998)