Runtime Verification for LTL and TLTL,” (2009)

by A Bauer, M Leucker, C Schallhart
Venue:ACM Transactions on Software Engineering