Никифоров, В. В., и С. Н. Баранов. Статическая проверка корректности разделения ресурсов в системах реального времени. Труды СПИИРАН, т. 3, вып. 52, May 2017, сс. 137-56, DOI:10.15622/sp.52.7.