Васильевский, А. С., и К. В. Лапшин. Темпоральные немонотонные логические системы в задачах моделирования систем управления сложными динамическими объектами. Информационно-управляющие системы, вып. 2, Apr. 2010, сс. 15-20, https://i-us.ru/index.php/ius/article/view/14162.