This SysML example has three main blocks ... The following figure represents the state machine diagram that specifies the dynamic behavior of the CallControl SysML block. The following code snippet ...