Research and Application of Logical Test Methods for Safety Control Equipment of Safety Grade DCS Systems in Nuclear Power Plants | IEEE Conference Publication | IEEE Xplore