3. Availability analysis of vehicular cloud computing | part of Systems Performance Modeling | De Gruyter books | IEEE Xplore