Roy Armoni Limor Fix Ranan Fraer Scott Huddleston Nir Piterman Moshe Y. Vardi SAT-based Induction for Temporal Safety Properties. 3-16 2005 119 Electr. Notes Theor. Comput. Sci. 2 http://dx.doi.org/10.1016/j.entcs.2004.12.021 db/journals/entcs/entcs119.html#ArmoniFFHPV05