Antoine Colin, Guillem Bernat. Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. In 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings. pages 50, IEEE Computer Society, 2002. [doi]
Abstract is missing.