Requirements Rationalization and Synthesis Enabled by Model Synchronization | IEEE Journals & Magazine | IEEE Xplore