Modeling An Automatic Transmission Controller