Real-time Operating Systems: Book 1  -  The Theory (The engineering of real-time embedded systems)