Automação e Controle Discreto - Paulo R. da Silveira e Winderson E. Santos