Towards the Quality Evaluation of Software of Control Systems of Nuclear Power Plants: Theoretical Grounds, Main Trends and Problems Topics: Computer-Based Manufacturing Technologies; Industrial Automation and Robotics; Quality Control and Management In Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 471-478, 2015 , Colmar, Alsace, France