Real-Time Systems: An Introduction (Prentice-hall International Series in Computer Science)