Transactions On Computational Science Xv Special Issue On Advances In Autonomic Computing Formal Engineering Methods For Natureinspired Computing Systems | lit.salon