Anna Philippou, Oleg Sokolsky: Process-Algebraic Analysis of Timing and Schedulability Properties. Handbook of Real-Time and Embedded Systems 2007