1. Y. Aït Ameur, M. Baron, P. Girard, Formal validation of HCI user tasks, in: the International Conference on Software Engineering Research and Practice, SERP’03, vol. 2, Las Vegas, Nevada, USA, 23–26 June 2003, pp. 732–738.
2. CTsar AndrTs, Luis Llana, Ismael Rodriguez, Formally comparing user and implementer model-based testing methods, in: 4th Workshop on Advances in Model Based Testing (A-MOST), Lillehammer, Norway, 2008.
3. Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis, Formal testing of multimodal interactive systems, in: Engineering Interactive Systems, EIS’2007, Salamanca, Espagne, March 2007.
4. Jullien Bouchet, Laurence Nigay, ICARE: a component-based approach for the design and development of multimodal interfaces, in: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, 24–29 April 2004, pp 1325–1328.
5. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, J.A. Plaice, Lustre: a declarative language for programming synchronous systems, in: Symposium on Principles of Programming Languages (POPL), 1987, pp. 178–188.