Lei Sun Tatsuo Nakajima A Lightweight Kernel Objects Monitoring Infrastructure for Embedded Systems. 55-60 2008 RTCSA http://dx.doi.org/10.1109/RTCSA.2008.16 conf/rtcsa/2008 db/conf/rtcsa/rtcsa2008.html#SunN08