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 Netherlands : Imprint: Springer, 2010)