Supporting semi-automatic co-evolution of architecture and fault tree models.

•A set of intra and inter-model transformation rules for (co)-evolving models.•Quantitative analysis of the evolution scenarios: correlation and mining analysis.•Evaluation showing the usefulness and completeness of the sets of transformations.•Application of co-evolution rules in a tool environment for model co-evolution.•Publicly available metamodels, models and evolution scenarios of an industrial plant.