A biological formal architecture of self-healing system | IEEE Conference Publication | IEEE Xplore