@doctoralThesis{Thesing_2004, title={Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models}, author={Thesing, Stephan}, doi={http://dx.doi.org/10.22028/D291-25797}, year={2004} }