Matthew B. Dwyer John Hatcliff Roby Joehanes Shawn Laubach Corina S. Pasareanu Robby Hongjun Zheng Willem Visser Tool-Supported Program Abstraction for Finite-State Verification. 177-187 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#DwyerHJLPRZV01 http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919092