DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 2-3, page. 167 - 191, 2007-09
IEEE DESIGN & TEST OF COMPUTERS, vol. 19, no. 6, page. 52 - 63, 2002-11
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 20, no. 11, page. 1293 - 1301, 2001-11