Generating objects from C code-features of the CORET tool-set | IEEE Conference Publication | IEEE Xplore