Statistics of Modelling and simulation of energy management of power-split hybrid electric vehicles using the discrete EVent system specification