Embedded Systems: Analysis and Modeling with SysML,