Email-запись: Машинные методы исследования автоматических систем