Matthew B. Dwyer Lori A. Clarke Jamieson M. Cobleigh Gleb Naumovich Flow analysis for verifying properties of concurrent software systems. 359-430 2004 13 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/1040291.1040292 db/journals/tosem/tosem13.html#DwyerCCN04