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