DOI,IST REx ID,Title of publication
1572,4372,Monitoring Temporal Properties of Continuous Signals