Подъячев, Афанасьев. Тестирование трансляции формальных моделей. ТС [Интернет]. 1апр.2006 [цитируется по 3май2024];2(3):156-61. Available from: http://ia.spcras.ru/index.php/sp/article/view/1249