Reliability and risk issues in large scale safety-critical digital control systems / ed. P. H. Seong, 2009 r=on-line