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