Зайцев , В. .; Цибаєв , Є. . Оцінка часових характеристик у комп’ютерних системах реального часу з використанням сіток Петрі. УРСС 2023, 48-62.