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 (Lecture Notes in Electrical Engineering,, 2010)