Klarlund, N.; Nielsen, M.; Sunesen, K. A Case Study in Automated Verification Based on Trace Abstractions. BRICS 1995, 2.