Kharchenko, Vyacheslav, Michael Yastrebenetsky, and Vladimir Sklyar. The Technique and the Experience of Expertise of Software for NPP Instrumentation and Control Systems In 7th International Conference on Probabilistic Safety Assessment and Management. Berlin, 2004.