@book{227256,
	author = {Hiromitsu Kumamoto},
	title = {Satisfying Safety Goals by Probabilistic Risk Assessment},
	publisher = {Springer London},
	year = {2007},
	address = {New York}
}