@book{49948,
	author = {Ben-Ari, M.},
	title = {Principles of the Spin model checker /},
	publisher = {Springer,},
	year = {c2008},
	address = {London :},
	url = {http://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html}
}