An approximation algorithm for labelled Markov processes: towards realistic approximation