1. Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes with Abstraction. In: Theor. Comput. Sci., vol. 37, pp. 77–121. Elsevier, Amsterdam (1985)
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks 14, 25–59 (1987)
3. Lecture Notes in Computer Science;L. Bordeaux,2005
4. Breese, J.S.: Construction of Belief and Decision Networks. Computational Intelligence 8(4), 624–647 (1992)
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)