Webel has suggested that SysMLv2 should support verification of each individual claim of more than one Element helping to Satisfy a Requirement.
The name of a «testCase» Behavior may be verbose and may use natural language, but should always start with a Capital letter.
