Introduction to Real-Time software design - Allworth, S. T. (Macmillan education Ltd, 1989)