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