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