SMS versenden: Labelled Markov processes