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