Time-Predictable Execution of Embedded Software on Multi-core Platforms
Scalable And Precise Refinement of Cache Timing Analysis via Model Checking