1. Wilhelm, R., et al.: The worst-case execution-time problem-overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. (TECS) 7(3), 1–53 (2008)
2. IFIP International Federation for Information Processing;C Ferdinand,2004
3. Hardy, D., Rouxel, B., Puaut, I.: The heptane static worst-case execution time estimation tool. In: 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017)
4. Cassé, H., Sainrat, P.: OTAWA, a framework for experimenting WCET computations. In: Conference ERTS 2006 (2006)
5. Rapita Systems: Rapita Systems $$|$$ On-target software verification solutions (2020). https://www.rapitasystems.com. Accessed 17 Mar 2020