Никифоров, В. В.; Баранов, С. Н. Статическая проверка корректности разделения ресурсов в системах реального времени. ТС 2017, 3, 137-156.