Lavrischeva, E.M, Institute for System Programming of the Russian Academy of Sciences (ISP RAS, MIPT), Russia, Russian Federation