Formal and practical aspects of autonomic computing and networking : specification, development, and verification - Cong-Vinh, Phan (Premier Reference Source, 2011)