@book{23509,
	author = {Holzmann, Gerard J.},
	title = {The spin model checker },
	publisher = {; Addison-Wesley,},
	year = {, ©2004.},
	address = {Boston }
}