Springer.EmbeddedSystemDesign.ModelingSynthesisandVerification