А. С. Васильевский и К. В. Лапшин, Темпоральные немонотонные логические системы в задачах моделирования систем управления сложными динамическими объектами, ИУС, вып. 2, сс. 15-20, апр. 2010.