Model-Based Transition from Requirements to High-Level Software Design | IEEE Conference Publication | IEEE Xplore