Никифоров, Виктор Викентьевич, и Сергей Николаевич Баранов. 2017. Статическая проверка корректности разделения ресурсов в системах реального времени. Труды СПИИРАН 3 (52), 137-56. https://doi.org/10.15622/sp.52.7.