Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβs Selected Contributions on Specification, Design, and Verification from FDL 2009 - Borrione, Dominique (Springer Science+Business Media B.V., 2010)