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