Embedded Systems Specification and Design Languages : Selected Contributions from FDL'07 - Villar, Eugenio. (Lecture Notes in Electrical Engineering,, 2008)