Performance Metrics for Real-Time Systems. - J. A. Heide; Wolfgang A. Halang (PEARL, 1991)