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