Compiler transformations for speculative execution in a real-time system | IEEE Conference Publication | IEEE Xplore