Model checking cloud rendering system for the QoS evaluation | IEEE Conference Publication | IEEE Xplore