Ben Titzer Jens Palsberg Nonintrusive precision instrumentation of microcontroller software. 59-68 2005 conf/lctrts/2005 LCTES http://doi.acm.org/10.1145/1070891.1065919 db/conf/lctrts/lctes2005.html#TitzerP05