ВИКТОРОВ, Ю. О.; ГОТМАНОВ, А. Н. Верификация задержки в микроархитектурных моделях коммуникационных фабрик. Информационно-управляющие системы, n. 6, p. 43–52, 20 dez. 2012.