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