Atkey, R., & Sannella, D. (2015). ThreadSafe: Static Analysis for Java Concurrency. Electronic Communications of the EASST, 72. https://doi.org/10.14279/tuj.eceasst.72.1025