← Pragmatic Simulation-Based Verification of Clock …