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