Monitoring of real-time properties. (2006)

by A Bauer, M Leucker, C Schallhart
Venue:FSTTCS 2006. LNCS,