Envoyer par SMS: Model-Based Design and Evaluation of Interactive Applications