@InProceedings{Kirner:ECRTS09, author = {Raimund Kirner and Albrecht Kadlec and Peter Puschner}, title = {Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies}, booktitle = {Proc. 21st Euromicro Conference on Real-Time Systems}, year = {2009}, publisher = {IEEE}, address = {Dublin, Ireland}, month = {July}, pages = {119--128}, URL = {http://costa.tuwien.ac.at/papers/ecrts09-anomalies.pdf} }