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