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