Model-Based Dependability Evaluation of Critical Control Systems door Francesco Flammini