1. Podyachev, Afanasyev Formal model translation testing // SPIIRAS Proceedings. 2006. № 3 (2). C. 156-161.