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