Introduction to real-time software design - Allworth, S. T. (Springer-Verlag, 1987)