1. DNSSEC.NET. DNSSEC: DNS Security Extensions Securing the Domain Name System (2002-2010),
http://www.dnssec.net/
(last viewed November 2010)
2. Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. STTT 2(4), 366–381 (2000)
3. Horn, P.: Autonomic computing: IBM’s perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory (October 2001)
4. IBM Corporation. An architectural blueprint for autonomic computing. Technical report, IBM Corporation (2006)
5. Lecture Notes in Artificial Intelligence;S.A. Mokhov,2008