Safe And Precise Wcet Determination By Abstract Interpretation Of Pipeline Models