Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures - Schuster, Johann (Verl. Dr. Hut, 2012)