@inproceedings{Prantl:WCET2009, Address = {Dublin, Ireland}, Author = {Adrian Prantl and Jens Knoop and Raimund Kirner and Albrecht Kadlec and Markus Schordan}, Booktitle = {{Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)}}, Title = {{From trusted annotations to verified knowledge}}, Month = {June}, Day = {30}, Year = {2009}, note = {ISBN: 978-3-85403-252-6}, Publisher = {{\"Osterreichische Computer Gesellschaft}}, Pages = {39--49}, URL = {http://costa.tuwien.ac.at/papers/wcet09-trusted.pdf} }