Cong Vinh, P. An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification.” EAI Endorsed Trans Context Aware Syst App 2014, 1, e6.