A Predictive Runtime Verification Framework for Cyber-Physical Systems