A Stochastic Model for Simulating the Availability of Electric Vehicles for Services to the Power Grid | IEEE Conference Publication | IEEE Xplore