Dynamic Probabilistic Systems. Volume 1: Markov Models. Volume 2: Semi‐Markov and Decision Processes