by R. J. A. Buhr
Good book, worth scanning. Also, another book by Buhr is Introduction to Real-Time Systems: From Design to Networking with C/C++