Automatic Derivation of Finite-State Machines for Behavior Control