TY - BOOK AU - Villar,Eugenio ED - FDL'07 TI - Embedded systems specification and design languages: selected contributions from FDL'07 SN - 1402082967 PY - 2008/// CY - Berlin PB - Springer KW - Computer hardware description languages KW - Congresses N1 - Includes bibliographical references and index ER -