Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореф. дис. … канд. техн. наук: 05.13.05