A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems