Batura, Tatiana, A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russia, Russian Federation