Markov chain based stochastic model of electric vehicle parking lot occupancy in vehicle-to-grid | IEEE Conference Publication | IEEE Xplore