Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingÉpuisé4,3Prévenez-moi