Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingUitverkocht4,3Hou mij op de hoogte