Model-based design of embedded control software for hybrid vehicles | IEEE Conference Publication | IEEE Xplore