Theory And Applications Of Runtime Monitoring Metric First-Order Temporal Logic