Text this: Определение и анализ области состояний модели системы реального времени; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика