НИКИФОРОВ, В. В.; БАРАНОВ, С. Н. Статическая проверка корректности разделения ресурсов в системах реального времени. Труды СПИИРАН, v. 3, n. 52, p. 137-156, 31 maio 2017.