Гуцалов,, Никифоров,: Анализ выполнимости составных задач в системах реального времени. Труды СПИИРАН 2(2), 437-452 (2005). doi:10.15622/sp.2.42