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