publication venue for Static and Dynamic Architecture Conformance Checking: A Systematic, Case Study-Based Analysis on Tradeoffs and Synergies 2017 Towards a Quality Framework for Enterprise Architecture Models 2017