Real-time systems and their programming languages - Burns, Alan (Addison-Wesley, 1990)