Embedded systems specification and design languages : selected contributions from FDL'07 (2008)