Real-time systems : theory and applications - Mall (Dorling Kindersley (India), 2007)