Никифоров ВВ, Баранов СН. Статическая проверка корректности разделения ресурсов в системах реального времени. ТС [Интернет]. 31май2017 [цитируется по 3май2024];3(52):137-56. Available from: http://www.proceedings.spiiras.nw.ru/index.php/sp/article/view/3539