Coverage and Profiling for Real-Time Tiny Kernels. - Sital Prasad Kedia; Anusree Bhattacharjee; Rajeshwar Kailash; Saurabh Dongre (CIT, 2010)