Overview: Input of Time Diagrams