Ruibin Xu Chenhai Xi Rami G. Melhem Daniel Mossé Practical PACE for embedded systems. 54-63 2004 conf/emsoft/2004 EMSOFT http://doi.acm.org/10.1145/1017753.1017767 db/conf/emsoft/emsoft2004.html#XuXMM04