Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation