Towards an Automated Approach for Detecting Architectural Weaknesses in Critical Systems. - Joanna C. S. Santos; Selma Suloglu; Joanna Ye; Mehdi Mirakhorli (ICSE (Workshops), 2020)