Jason Baumgartner Andreas Kuehlmann Jacob A. Abraham Property Checking via Structural Analysis. 151-165 2002 conf/cav/2002 CAV http://dx.doi.org/10.1007/3-540-45657-0_12 db/conf/cav/cav2002.html#BaumgartnerKA02