Labelled Markov processes - Panangaden, P. (Imperial College Press, 2009)