You are about to access our book library "Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering, 36) full version" .