Although slightly outdated, the poster below from the ICSA2019 New and Emerging Ideas (NEMI) Track underlines our main goals for checking consistency between formal architecture artefacts like Palladio Component Models and informal software architecture artefacts in the form of textual software architecture documentation. For more details, check the paper as well as the publications page.