Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (Logical Methods in Computer Science, 2015)