Embedded Systems Specification and Design Languages: Selected Contributions from Fdl'07 (Hardcover, 2008)