A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

doi 10.1109/rew.2017.52