1. Викторов Ю.О., Готманов А.Н. Верификация задержки в микроархитектурных моделях коммуникационных фабрик // Информационно-управляющие системы. 2012. № 6. C. 43–52.