Model-Based Evaluation as a Support to the Design of Dependable Systems