selected publications conference paper On Adequate Behavior-Based Architecture Conformance Checks 2017