Zurab Khasidashvili Alexander Nadel Amit Palti Ziyad Hanna Simultaneous SAT-Based Model Checking of Safety Properties. 56-75 2005 conf/hvc/2005 Haifa Verification Conference http://dx.doi.org/10.1007/11678779_5 db/conf/hvc/hvc2005.html#KhasidashviliNPH05