DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 8, no. 2-3, page. 119 - 138, 2003-06
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 4, page. 223 - 247, 2007-12
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 5, no. 2, page. 129 - 152, 2000-06
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 2-3, page. 167 - 191, 2007-09