Hardware-software co-design of embedded systems : the POLIS approach - Balarin, Felice (The Kluwer international series in engineering and computer science, 1997)