COSMOD-RE: Supporting the Co-Design of Requirements and Architectural Artifacts | IEEE Conference Publication | IEEE Xplore