Facilitating worst-case execution times analysis for optimized code | IEEE Conference Publication | IEEE Xplore