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