Extending optimising compilation to support worst-case execution time analysis: von Raimund Kirner