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