В. В. Никифоров и С. А. Подкорытов, Алгоритмы проверки применимости протоколов доступа к ресурсам в системах реального времени, ИУС, вып. 4, сс. 59-66, авг. 2017.