@article{zhang2018automatic, title={Automatic generation of predictive monitors from scenario-based specifications}, author={Zhang, Pengcheng and Pelliccione, Patrizio and Leung, Hareton and Li, Xuandong}, journal={Information and software technology}, volume={98}, pages={5--31}, year={2018}, publisher={Elsevier} }