Shing-Chi Cheung Jeff Kramer Enhancing Compositional Reachability Analysis with Context Constraints. 115-125 1993 SIGSOFT FSE http://doi.acm.org/10.1145/256428.167071 db/conf/sigsoft/fse93.html#CheungK93