A Framework for Calculating WCET Based on Execution Decision Diagrams