Haoyu Liu, Huahu Xu, Honghao Gao, Danqi Chu: Model checking cloud rendering system for the QoS evaluation. ASAP 2017: 209