P. P. Süli, J. Knoll, and Z. Porkoláb, “Multithreading Atomicity: Static Analysis Checkers”, Acta Cybern, vol. 27, no. 2, pp. 241–261, Jul. 2025.