_id,doi,title
4372,1572,Monitoring Temporal Properties of Continuous Signals