Problems of evaluating the software quality for systems important for the nuclear power plant safety | IEEE Conference Publication | IEEE Xplore