Reliability and risk issues in large scale safety-critical digital control systems by Poong Hyun Seong | Menrva Books