Accurate source-level simulation of embedded software with respect to compiler optimizations | IEEE Conference Publication | IEEE Xplore