Бритов, Г.С., Лупал, А.В.: Вероятностный анализ состояний IDEF3-моделей технологических процессов. Информационно-управляющие системы(5), 21-24 (2009)