The cosynthesis of C using assembly extraction | IET Conference Publication | IEEE Xplore