Embedded Systems Specification and Design Languages Selected contributions from FDL’07 - Villar, Eugenio (Springer Netherlands, 2008)