Timing analysis for preemptive multi-tasking real-time systems with caches | IEEE Conference Publication | IEEE Xplore