On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata