An efficient approach for system-level timing simulation of compiler-optimized embedded software | IEEE Conference Publication | IEEE Xplore