Викторов, Ю. О.; Готманов, А. Н. Верификация задержки в микроархитектурных моделях коммуникационных фабрик. ИУС 2012, 43–52.