Modeling Embedded Systems with SysML | IEEE Conference Publication | IEEE Xplore