SysML:state machine diagram