Application of a Methodology for the Development and Validation of Reliable Process Control Software. - C. V. Ramamoorthy; Yu-King R. Mok; Farokh B. Bastani; Gene H. Chin; Keiichi Suzuki (IEEE Trans. Software Eng., 1981)