https://1library.org/document/z11v0xpz-virtualizacao-de-automatos-programaveis.html