Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telec— munications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, d...