@article { JainKSC08,
	title = {Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	volume = {27},
	number = {2},
	year = {2008},
	pages = {366-379},
	author = {Himanshu Jain and  Daniel Kroening and  Natasha Sharygina and  Edmund M. Clarke}
}