A Markovian model for assessing the consistency of vehicular storage systems | IEEE Conference Publication | IEEE Xplore