You are about to access our book library "Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL'04 (Chdl) full version" .