Полубелова, О. В.; Котенко, И. В. Верификация правил фильтрации с временными характеристиками методом “проверки на модели”. ТС 2012, 3, 113-138.