Michael Huth Orna Grumberg Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. 85-94 2009 11 STTT 2 http://dx.doi.org/10.1007/s10009-009-0100-y db/journals/sttt/sttt11.html#HuthG09