SYSML13 — SysML 1.2 Section 16.4.4

Several errors in this section that need to be fixed.

1) Figure 16.8. Type of diagram should be "stm" not "sm"
2) Figure 16.7 and Figure 16.8. The relation between the testCase and the Requirement should be «verify» not «refine»
3) The paragraph mentions Figure 16.7, but actually describes Figure 16.8.
4) No description of Figure 16.7 appears.

Resolve as follows:
1) Fig 16.8 diagram type was already fixed in SysML 1.2.
2) The callouts in Fig. 16.7 and Fig. 16.7 were already changed to "VerifiedBy" and
"Verifies" in SysML 1.2.
3) & 4). Replace text for section 16.4.4.