Automated Verification of Continuous Time Systems by Discrete Temporal Induction