Верификация правил фильтрации с временными характеристиками методом “проверки на модели” - Полубелова, Ольга Витальевна; Котенко, Игорь Витальевич (Труды СПИИРАН, 2012)