Подъячев,; Афанасьев,. Тестирование трансляции формальных моделей. ТС 2006, 2, 156-161.