Processor Pipelines and Their Properties for Static WCET Analysis Jakob Engblom and Bengt Jonsson Presented by Kiran Seth.