A particular design alternative or version is represented by a model to be used for verification against requirements.
.VVDRlib.Verification.Design .VVDRlib.Verification.Design