Advances in design and specification languages for SoCs selected contributions from FDL '04 - Boulet, Pierre (Springer, 2005)