Model checking cloud rendering system for the QoS evaluation. - Liu, Haoyu; Xu, Huahu; Gao, Honghao; Chu, Danqi (2017)