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