@inproceedings{theiling:ilp-cache,
  author= "Henrik Theiling and Christian Ferdinand",
  title=  {{C}ombining {A}bstract {I}nterpretation and {ILP} for
           {M}icroarchitecture {M}odelling and {P}rogram {P}ath {A}nalysis},
  booktitle= "Proceedings of the 19th IEEE Real-Time Systems Symposium",
  month= dec,
  address= "Madrid, Spain",
  year= "1998",
  pages= {144-153}
}