System Engineering and Dependability: Methodology of Model Synchronization between System Architecture Models and Risk Analysis. Issue 4 (10th January 2020)