Introduction to Real-time Software Design - Allworth, S. T.; Zobel, R. N. (Macmillan Education UK, 1987)