_id,doi,title
81,10.1007/978-3-030-00151-3_4,Monitoring temporal logic with clock variables