DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 4, page. 223 - 247, 2007-12
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 2-3, page. 167 - 191, 2007-09