Formal and practical aspects of autonomic computing and networking specification, development, and verification / Phan Cong-Vinh, editor. - Cong-Vinh, Phan (IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2012)