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