A methodological approach to task-based design of user interfaces
Model-based design and evaluation of interactive applications