Embedded systems specification and design languages : selected contributions from FDL'07 / FDL'07 Eugenio Villar, editor. - Berlin : Springer, 2008. - ix, 275 p. : ill. ; 24 cm. - Lecture notes in electrical engineering ; 10 . Includes bibliographical references and index. ISBN: 1402082967 9781402082962 Subjects--Topical Terms: Computer hardware description languages--Congresses.