DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-00151-3_4,81,ToHe,Monitoring temporal logic with clock variables