Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems - Seong, Poong-Hyun (Springer London, 2020)