Подъячев и Афанасьев, Тестирование трансляции формальных моделей, ТС, т. 2, вып. 3, сс. 156-161, апр. 2006.