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