Text this: Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.