Mixed-Integer Optimal Design and Energy Management of Hybrid Electric Vehicles With Automated Manual Transmissions | IEEE Journals & Magazine | IEEE Xplore