Adrian Prantl Jens Knoop Raimund Kirner Albrecht Kadlec Markus Schordan From Trusted Annotations to Verified Knowledge. 2009 WCET http://drops.dagstuhl.de/opus/volltexte/2009/2282 conf/wcet/2009 db/conf/wcet/wcet2009.html#PrantlKKKS09