Abstract: We present Timing Diagram Testing for Verification & Validation (T4V, which is red as "tav") for Industrial Automation Systems. T4V is our approach to address the problem of generating test ...