J. Blieberger: "Symbolic Worst-Case Execution Time Analysis"; Talk: Habilitationskolloquium, Vienna, Austria; 2000-12-11.