MIMOS, System Model-Driven Migration Project | IEEE Conference Publication | IEEE Xplore