Үүнийг мессежээр илгээх: Trace refinement in labelled Markov decision processes