Abdel Maksoud, M. (2015). Processor Pipelines in WCET Analysis. PhD Thesis, Universität des Saarlandes, Saarbrücken.