Temporal Runtime Verification using Monadic Difference Logic

Henrik Reif Andersen Kåre J. Kristoffersen Temporal Runtime Verification using Monadic Difference Logic http://arxiv.org/abs/0705.4604 2007 CoRR abs/0705.4604 db/journals/corr/corr0705.html#abs-0705-4604 informal publication