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