https://1library.org/document/y62e5kgz-diagnostico-baseado-automatos-temporizados-aplicacao-sistema-modular-manufatura.html