1. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison Wesley, Reading (2003)
2. Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer STTT 5, 247–267 (2004)
3. Lecture Notes in Computer Science;H. Aljazzar,2005
4. Pearl, J.: Heuristics – Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley, Reading (1986)
5. Feller, W.: An Introduction to Probability Theory and Its Applications. John Wiley & Sons, Chichester (1968)