ПОДЪЯЧЕВ,; АФАНАСЬЕВ,. Тестирование трансляции формальных моделей. Труды СПИИРАН, v. 2, n. 3, p. 156-161, 1 abr. 2006.