Implementation of Supervisory Control Systems based on State Machines. - Moacyr Possan; André B. Leal (ETFA, 2009)