Zaitsev, V.; Tsybaev, E. ОЦІНКА ЧАСОВИХ ХАРАКТЕРИСТИК ЗАДАЧ В БАГАТОПРОЦЕСОРНИХ СИСТЕМАХ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ СІТОК ПЕТРІ. УРСС 2020, 43-50.