Твардовский А. С. Минимизация автоматов с таймаутами и временными ограничениями / А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов // Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963