Khachumov, Vyacheslav, <p>Ailamazyan Program Systems Institute of RAS,</p><p>RUDN University,</p><p>Federal Research Center "Computer Science and Control" of RAS</p><p> </p>, Russian Federation