@book{43287,
	author = {SAFECOMP 2007 and Saglietti, F.},
	title = {Computer safety, reliability, and security :},
	publisher = {Springer,},
	year = {2007.},
	address = {Berlin ;}
}