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