Check time constraints and time labels before event template occurrences
* [ ] Update specification in Part 4 (syntax and meta-model, also graphical?)
issue