Model-Driven engineering (MDE) aims to elevate models in the engineering process to a central role in the speciication, design, integration, validation, and operation of a system. MDE is becoming a widely used approach within the dependability domain: the system, together with its main dependability-related characteristics, is represented by engineering language models, while automatic transfor...