Reliability And Risk Issues In Large Scale Safety-Critical Digital Control Systems