@inproceedings{Met2004,
Author = {Metzner, Alexander},
Title = {Why Model Checking Can Improve WCET Analysis},

Year = {2004},
Month = {01},
Booktitle = {Proceeding of the 16 th Internation Conference on Computer Aided 	Verification},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }