P. G. Szécsi, G. Horváth, and Z. Porkoláb, “Improved Loop Execution Modeling in the Clang Static Analyzer”, Acta Cybern, vol. 25, no. 4, pp. 909-921, Oct. 2020.