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