You are about to access our book library "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification full version" .