Ferramentas e modelos
Ferramenta de verificação e síntese do Controle Supervisório Hierárquico Baseado em Interface (HISC)
Dados Melquisedeque
Ferramenta Eduardo
Ferramenta Tuxi
Dicas
Modelo LATEX para o modelo do IME. [Link Overleaf]