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