@book{47909,
	author = {Baier, Christel and Katoen, Joost-Pieter},
	title = {Principles of model checking /},
	publisher = {The MIT Press,},
	year = {[2008?]},
	address = {Cambridge, Mass. :},
	url = {http://www.loc.gov/catdir/toc/ecip0727/2007037603.html}
}