Title: Model-Based Design and Evaluation of Interactive Applications