Никифоров, Виктор Викентьевич, и Сергей Николаевич Баранов. Статическая проверка корректности разделения ресурсов в системах реального времени. Труды СПИИРАН 3, no. 52 (май 31, 2017): 137-156. просмотрено апрель 6, 2025. https://ia.spcras.ru/index.php/sp/article/view/3539.