Bouajjani, Esparza, Touili, 2003. A generic approach to the static analysis of concurrent programs with procedures, in: . ACM Press.. https://doi.org/10.1145/604131.604137