I. Ruchkin, and V. Prus. Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) 2010, page 20--25. Nizhny Novgorod, Russia, Institute for System Programming of the Russian Academy of Sciences (ISPRAS), Institute for System Programming of the Russian Academy of Sciences (ISPRAS), (June 2010)