Code synthesis based on object-oriented design models and formal specifications | IEEE Conference Publication | IEEE Xplore