Daniel Prokesch, Benedikt Huber and Peter Puschner.
Towards Automated Generation of Time-Predictable Code.
In Int. Workshop on Worst-Case Execution Time Analysis, volume 39 of OASIcs, pages 103–112. Schloss Dagstuhl, 2014.
DOI: 10.4230/OASIcs.WCET.2014.103