"TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis."

Daniel Kästner et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics