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