Reliability And Risk Issues In Large Scale Safety-Critical Digital Control Systems by Poong Hyun Seong