Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingSold out4.3Track