Josee Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden Approximating labelled Markov processes. 160-200 2003 184 Inf. Comput. 1 http://dx.doi.org/10.1016/S0890-5401(03)00051-8 db/journals/iandc/iandc184.html#DesharnaisGJP03