On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. - C. V. Ramamoorthy; Farokh B. Bastani; John M. Favaro; Yu-King R. Mok; C. W. Nam; Keiichi Suzuki (ICSE, 1979)