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, 2010)