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