Advances in design methods from modeling languages for embedded systems and SOC's : selected contributions on specification, design, and verification from FDL 2009. ISBN 9789048193042. Published by Springer in 2010. Publication and catalogue information, links to buy online and reader comments.