1. Подъячев, Афанасьев Тестирование трансляции формальных моделей // Труды СПИИРАН. 2006. № 3 (2). C. 156-161.