Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation