UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems
Formal Description Techniques for Human-Machine Interfaces Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs
Model-based training: an approach supporting operability of critical interactive systems
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques
Structuring and Composition Mechanism to Address Scalability Issues in Task Models
Marco Antônio Alba Winckler
Philippe PALANQUE
David NAVARRE
ERIC BARBONI
P. LANZI
A. POUPART