Verification of Concurrent Programs Using Trace Abstraction Refinement. - Franck Cassez; Frowin Ziegler (LPAR, 2015)