Formal Modeling and Automatic Code Synthesis for Robot System | IEEE Conference Publication | IEEE Xplore