Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
