R. Atkey and D. Sannella, “ThreadSafe: Static Analysis for Java Concurrency”, ECEASST, vol. 72, Nov. 2015.