selected publications academic article The worst-case execution-time problem—overview of methods and survey of tools. ACM Transactions in Embedded Computing Systems. 7:1-53. 2008