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