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