@book{72850,
	author = {PREETHAM S, SURESH KUMAR D, VINOTH SEELAN D},
	title = {A STUDY OF NUSMV MODEL CHECKER}
}