New real-time operating systems for embedded systems - Reddy, K. Srinivasa (New Delhi : Laxmi Publications Pvt. Ltd., 2014)