Automatic generation of predictive monitors from scenario-based specifications