Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 - Boulet, Pierre (Springer US, 2005)