@book{218728,
	author = {Broy, Manfred. and ebrary, Inc. and NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification},
	title = {Software and systems safety},
	publisher = {IOS Press,},
	year = {2011.},
	series = {NATO science for peace and security series. Sub-series D, Information and communication security,},
	address = {Amsterdam, The Netherlands :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10506356}
}