Статическая проверка корректности разделения ресурсов в системах реального времени - Никифоров, Виктор Викентьевич; Баранов, Сергей Николаевич (Труды СПИИРАН, 2017)