Calculating the maximum execution time of real-time programs - Puschner, P; Koza, C (Real-Time Systems, 1989)