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