Value analysis for the determination of memory instruction latency in a WCET tool | IEEE Conference Publication | IEEE Xplore