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