Model-integrated system development: models, architecture, and process | IEEE Conference Publication | IEEE Xplore