Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development. - Uma Maheswar Rao; Suneel Sinha; Naveen Shenoy (VLSI Design, 2007)