@book{123976,
	author = {Grumberg, Orna,},
	title = {Software systems safety /},
	publisher = {IOS Press,},
	year = {2014.},
	series = {NATO Science for Peace and Security Series,},
	address = {Amsterdam, Netherlands :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=11048359}
}