@article{bauer:leucker:schallhart:tosem, author = {Andreas Bauer and Martin Leucker and Christian Schallhart}, title = {Runtime Verification for {LTL} and {TLTL}}, journal = {ACM Transactions on Software Engineering and Methodology}, volume = {20}, number = {4}, year = {2011}, pages = {14}, }