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