Real time programming: a guide to 32-bit embedded development - Grehan, Rick (Addison Wesley, 1998)