Real-time systems and programming languages : Ada 95, real-time Java and real-time POSIX - Burns, Alan (International computer science series, 2001)