1
Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /