Тестирование трансляции формальных моделей - Подъячев; Афанасьев (Труды СПИИРАН, 2006)