Towards the quality evaluation of software of control systems of nuclear power plants: theoretical grounds, main trends and problems | IEEE Conference Publication | IEEE Xplore