Ю. О. Викторов и А. Н. Готманов, Верификация задержки в микроархитектурных моделях коммуникационных фабрик, ИУС, вып. 6, сс. 43–52, дек. 2012.