Cassez, Ziegler, 2015. Verification of Concurrent Programs Using Trace Abstraction Refinement, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-662-48899-7_17