1. Berard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen P. (1999). Systems and Software Verification: Model-Checking techniques and tools, Heidelberg, Springer-Verlag Editions, ISBN : 3-540-41523-8
2. Borangiu T., (2003). (Ed.) Intelligent Assembly and Disassembly. Proceedings of the 3rd IFAC IAD'03 Symposium. Bucarest, Romania, October 11-13
3. Development of Holonic Manufacturing Execution Systems;Cheng;Journal of Intelligent Manufacturing,2004
4. Diedrich Ch., Wollschlaeger M., Riedl M., Simon R. (2001) Three Component Model for field device integration in control systems. Proceedings of IFAC FET'01Conference on Fieldbus Systems and Their Applications, Nancy, France