Model-based system development | IEEE Journals & Magazine | IEEE Xplore