Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models | IEEE Conference Publication | IEEE Xplore