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