Symbolic techniques for model-based design of hybrid electric vehicles | IEEE Conference Publication | IEEE Xplore