Advances in Design And Specification Languages for Socs: Selected Contributions from Fdl '04 - Pierre Boulet