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