@book{124419,
	author = {Baier, Christel. and Katoen, Joost-Pieter.},
	title = {Principles of model checking /},
	publisher = {The MIT Press,},
	year = {2008.},
	address = {Cambridge :}
}