Викторов, Юрий Олегович, и Александр Николаевич Готманов. Верификация задержки в микроархитектурных моделях коммуникационных фабрик. Информационно-управляющие системы, no. 6 (декабрь 20, 2012): 43–52. просмотрено ноябрь 23, 2024. https://i-us.ru/index.php/ius/article/view/13709.