Modular Specification of Architectural Constraints | IEEE Conference Publication | IEEE Xplore