Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models