1
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL 2009 /