Real-time systems and software. - Shaw, Alan C.