Real-Times Systems and Programming language by Alan Burns. - Burns, Alan (Addison-Wesley, 2001)