Nonholonomic models of automobiles are developed by utilizing tools of analytical mechanics, in particular the Appellian approach that allows one to describe the vehicle dynamics with minimum number of time-dependent state variables. The models are categorized based on how they represent the wheel-ground contact, whether they incorporate the longitudinal dynamics, and whether they consider the steering dynamics. It is demonstrated that the developed models can be used to design low-complexity controllers that enable automated vehicles to execute a large variety of maneuvers with high precision.