A State Language for the Sequencing in a Hybrid Electric Vehicle | IEEE Journals & Magazine | IEEE Xplore