Application of a methodology for the development and validation of reliable process control software (1981)

by CV Ramamoorthy, YR Mok, EB Bastani, GH Chin, K Suzuki
Venue:IEEE Trans. Software Eng