Markov chains from theory to implementation and experimentation - Gagniuc, Paul A., author (Wiley, 2017)