Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems - Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan ((Lecture Notes in Computer Science))