Springer.嵌入式系统设计.建模综合与验证.2009