IEEE DESIGN & TEST OF COMPUTERS, vol. 19, no. 6, page. 52 - 63, 2002-11
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 2-3, page. 167 - 191, 2007-09