Property-driven State-Space Coarsening for Continuous Time Markov Chains. (arXiv:1606.01111v1 [cs.SY]) User arXibot, in the To peer review as arXiv is to publishers subreddit, 06 Jun 2016