selected publications chapter Applied Artifact-Based Analysis for Architecture Consistency Checking. . 2020