Advances in design and specification languages for socs : selected contributions from FDL'04 / ed. P. Boulet, 2005 r=on-line