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