@book{81644,
	author = {Esparza, Javier. and Technische Universit�at M�unchen (Germany)},
	title = {Logics and languages for reliability and security},
	publisher = {IOS Press,},
	year = {2010.},
	series = {NATO science for peace and security series. D, Information and communication security ;},
	address = {Washington, D.C. :},
	note = {Includes indexes.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10403989}
}