@book{7723,
	author = {Holzmann, Gerald J.,},
	title = {The spin model checker :},
	publisher = {Addison-Wesley,},
	year = {c2004. },
	address = {Boston, MA :}
}