ПОЛУБЕЛОВА, О. В.; КОТЕНКО, И. В. Верификация правил фильтрации с временными характеристиками методом “проверки на модели”. Труды СПИИРАН, v. 3, n. 22, p. 113-138, 1 set. 2012.