Knoop, Jens: Replacing Conjectures by Positive Knowledge: Inferring Proven PreciseWorst-Case Execution Time Bounds Using Symbolic Execution. . In: Journal of Symbolic Computation. Jg.80, S.101124