F Brandner,
C Noûs - Proceedings of the 28th International Conference …, 2020 - dl.acm.org
Bounding the Worst-Case Execution Time (WCET) of real-time software requires precise
knowledge about the reachable program and hardware states that might be observed at …