Advances in Design and Specification Languages for SoCs - FDL'04; Boulet, Pierre (Springer US, 2005)