Modeling And Planning For Connected, Cooperative, And Automated Mobility Systems