Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 - Radetzki, Martin. (Springer Netherlands : Imprint: Springer, 2009)