Runtime verification for LTL and TLTL (2007)

by Andreas Bauer, Martin Leucker, Christian Schallhart