Gianpiero Cabodi Sergio Nocco Stefano Quer Strengthening Model Checking Techniques With Inductive Invariants. 154-158 2009 28 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://dx.doi.org/10.1109/TCAD.2008.2009147 db/journals/tcad/tcad28.html#CabodiNQ09