Eto, Joseph H, Manu Parashar, and Nancy J Lewis. Real Time Systems Operations 2006 - 2007. Berkeley: LBNL, 2008.PDF