1. Clarke, E., Grumberg, O., Peled, D. Model checking. MIT Press, Cambridge, MA (2000)
2. Kwon, Y., Agha, G. Linear inequality LTL (iLTL): A model checker for discrete time markov chains. In: International conference on formal engineering methods, pp 194–208. LNCS 3308 (2004)
3. Papoulis, A. Probability, Random variables, and stochastic processes, 3rd edn. McGraw-Hill (1991)
4. Russell, S., Norvig, P. Artificial intelligence a modern approach. Prentice Hall (1995)
5. Shargel, L., B.C., A. Applied biopharmaceutics and pharmacokinetics. Appleton-Century-Crofts (1985)