Introduction to real-time software design - Allworth, Steve T. (Macmillan computer science series, 1981)