@inproceedings{LiLBH+05,
  author = {Xin Li and Jan Lukoschus and Marian Boldt and Michael Harder and Reinhard von Hanxleden},
  title = {{An {E}sterel Processor with Full Preemption Support and its Worst Case Reaction Time Analysis}},
  booktitle = {Proceedings of the {International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '05)}},
  year = {2005},
  month = {September},
  isbn = {1-59593-149-X},
  pages = {225--236},
  doi = {10.1145/1086297.1086327},
  publisher = {ACM Press},
  address = {San Francisco, CA, USA},
  pdf = {cases05.pdf},
  urltalk = {cases05-talk-trans.pdf},
}