J. Blieberger: "Data-Flow Frameworks for Worst-Case Execution Time Analysis"; Talk: Deutschsprachige WCET-Tagung, Paderborn; 2000-10-20.