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