Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution | IEEE Conference Publication | IEEE Xplore