Полубелова, О. В., и И. В. Котенко. Верификация правил фильтрации с временными характеристиками методом “проверки на модели”. Труды СПИИРАН, т. 3, вып. 22, Sept. 2012, сс. 113-38, DOI:10.15622/sp.22.7.