Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems - Gavrilova, Marina L.; Tan, C. J. Kenneth; Phan, Cong-Vinh (Springer Berlin Heidelberg : Imprint: Springer, 2012)