An exemplar model of an approach to property-based requirements using the Object-Constraint Language (OCL) to specify the valid domain of a value-property of a Class or Black. The model was created using CSM 19 SP4. The model conveys only a fragment of a vehicular system. The model also demonstrates the use of re-useable domain models, Powertypes, and generalization sets.