Automatically generating C++ programs from LOTOS behavior specifications | IEEE Conference Publication | IEEE Xplore