Model-based system development for embedded mobile platforms | IEEE Conference Publication | IEEE Xplore