Анализ выполнимости составных задач в системах реального времени - Гуцалов; Никифоров (Труды СПИИРАН, 2005)