Transactions on Computational Science XV: special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems