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