Hana Chockler Eitan Farchi Ziv Glazberg Benny Godlin Yarden Nir-Buchbinder Ishai Rabinovitz Formal verification of concurrent software: two case studies. 11-22 2006 PADTAD http://doi.acm.org/10.1145/1147403.1147406 conf/issta/2006p db/conf/issta/padtad2006.html#ChocklerFGGNR06