@book{160099,
	author = {Storey, Neil.},
	title = {Safety-critical computer systems /},
	publisher = {Addison-Wesley,},
	year = {c1996.},
	address = {Harlow :},
	note = {Includes index.}
}