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