Ahmed Bouajjani Javier Esparza Stefan Schwoon Jan Strejcek Reachability analysis of multithreaded software with asynchronous communication. 2006 Software Verification: Infinite-State Model Checking and Static Program Analysis http://drops.dagstuhl.de/opus/volltexte/2006/726 conf/dagstuhl/2006P6081 db/conf/dagstuhl/P6081.html#BouajjaniESS06