Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations | IEEE Conference Publication | IEEE Xplore