@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}
}