@book{103563,
	author = {Drechsler, Rolf. and ebrary, Inc.},
	title = {Advanced formal verification},
	publisher = {Kluwer Academic Publishers,},
	year = {c2004.},
	address = {Boston :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10115222}
}