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