Springer.Embedded System Design.Modeling Synthesis and Verification.2009 Springer.EmbeddedSystemDesign.ModelingSynthesisandVerification