Dynamic Probabilistic Systems, Volume I: Markov Models and Volume II: Semi- Markov and Decision Processes.