An Automated Approach for Requirements Driven Model Selection | IEEE Conference Publication | IEEE Xplore