Validação e Análise de Desempenho de Lógica de Controle Sintetizada pela Teoria de Controle Supervisório (2013)