Real-time systems and software - Shaw, Alan C. (John Wiley & Sons, 2001)