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