Research and development of virtual software for safety control system TXS in nuclear power plant | IEEE Conference Publication | IEEE Xplore