Atkey, R.; Sannella, D. ThreadSafe: Static Analysis for Java Concurrency. eceasst 2015, 72.