Variance-Based Risk Estimations in Markov Processes via Transformation with State Lumping | IEEE Conference Publication | IEEE Xplore