CV Ramamoorthy, FB Bastani - IEEE Transactions on Software …, 1982 - ieeexplore.ieee.org
It is essential to assess the reliability of digital computer systems used for critical real-time
control applications (eg, nuclear power plant safety control systems). This involves the …