selected publications academic article Supporting semi-automatic co-evolution of architecture and fault tree models. Journal of Systems and Software. 142:115-135. 2018