Marc Schlickling, Markus Pister. Semi-automatic derivation of timing models for WCET analysis. In Jaejin Lee, Bruce R. Childers, editors, Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010. pages 67-76, ACM, 2010. [doi]
Abstract is missing.