Translation of behavioral models to source code | IEEE Conference Publication | IEEE Xplore