Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetTypeWithSubstitutionGroup (row 143) targetType\ValidWithSubstitutionGroup.xml Revision 1.11 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is valid if all instances of SubE target elements whose type is T. [Primary Feature Tested] 
targetType