Model-Based Design and Evaluation of Interactive Applications - Paterno, Fabio (Springer Verlag, 2000)