Khachumov, Mikhail, Program Systems Institute of RAS, Federal Research Center "Computer Science and Control" of RAS, Russian Federation