On Adequate Behavior-Based Architecture Conformance Checks | IEEE Conference Publication | IEEE Xplore