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