@doctoralThesis{Wilhelm_2011,
title={Symbolic representations in WCET analysis},
author={Wilhelm, Stephan},
isbn={978-3-8442-2463-4},
doi={http://dx.doi.org/10.22028/D291-26385},
subtitle={Symbolische Darstellungen in der WCET-Analyse},
year={2011}
}