Hardware software co-synthesis of distributed embeded systems - Walf, Waymo Yen, Ti-Yen (BOSTON KLUWER, 1996)