Real-time systems and programming languages : ada 95,real- time Java and real-time Posix ISBN: 0201729881