Implementation of supervisory control systems based on state machines - Possan Jr. M.C. (2009)