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