Michael G. McQuinn Peter Kemper William H. Sanders Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. 151-160 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.16 conf/qest/2007 db/conf/qest/qest2007.html#McQuinnKS07