Zaslat SMS: Labelled Markov processes