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