Bogdos, I.,Linardis, P.,Stamelos, Ioannis, Design for testability on a high level synthesis system, 441-450, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής,