The codesign of embedded systems a unified hardware/software representation (Kluwer, 1996)