Formal Description Techniques for Human-Machine Interfaces Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
C. MARTINIE
Marco Antônio Alba Winckler
Philippe PALANQUE
David NAVARRE