Property-driven State-Space Coarsening for Continuous Time Markov Chains | Read Paper on Bytez