-- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling --