Runtime Verification for LTL and TLTL (0)

by A Bauer, M Leucker, C Schallhart
Venue:ACM Transactions on Software and Methodology (TOSEM