context XDSSDRadTemplate
inv: (not self.effectiveTime.oclIsUndefined()) and (not self.effectiveTime.value.oclIsUndefined()) and self.effectiveTime.matches(self.effectiveTime.value, '\\d{8}(\\d*?)\\+\\d*?')