Transactions on Computational Science, Special Issue on Advances  in Autonomic Computing: Formal Engineering Methods for Nature-Inspired  Computing Systems