@book{14656,
	author = {Smith, David John and Simpson, Kenneth G. L.},
	title = {Safety critical systems handbook :},
	publisher = {Butterworth-Heinemann,},
	year = {c2011},
	address = {Oxford, England :},
	edition = {3rd ed.}
}