On Availability Comparison of Reservation Modes for Multi-state Air Conditioning Systems Using Markov Approach | IEEE Conference Publication | IEEE Xplore