@inproceedings{Prantl:WLPE2008,
	Address = {Udine, Italy},
	Author = {Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska},
	Booktitle = {The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)},
	Month = {December},
	Day = {12},
	Title = {{Constraint solving for high-level WCET analysis}},
        Pages = {77--89},
	Year = {2008},
        ee   = {http://arxiv.org/abs/0903.2251},
        URL = {http://costa.tuwien.ac.at/papers/wlpe08.pdf}
}