Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems