Văn bản này: Дискретные автоматы с обнаружением отказов