Design and Analysis of Real-Time Systems: Static WCET Analysis (2013)