Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingEsauritoAvvisami