Zaslať SMS: Model-Based Design and Evaluation of Interactive Applications