Gianpiero Cabodi Sergio Nocco Stefano Quer Boosting the role of inductive invariants in model checking. 1319-1324 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266654 db/conf/date/date2007.html#CabodiNQ07