Energy balance based verification for hybrid vehicle models | IEEE Conference Publication | IEEE Xplore