Danos, et al.. Conditional Expectation and the Approximation of Labelled Markov Processes. Springer Berlin Heidelberg, 2003, doi:10.1007/978-3-540-45187-7_31.