@book{79393,
	author = {NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security and Nipkow, Tobias, and NATO Emerging Security Challenges Division.},
	title = {Software safety and security},
	publisher = {IOS Press,},
	year = {2012.},
	series = {NATO science for peace and security series. Sub-series D, Information and communication security,},
	address = {Washington, D.C. :},
	note = {"Published in cooperation with NATO Emerging Security Challenges Division."},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10574718}
}