A formal model for self-adaptive and self-healing organizations | IEEE Conference Publication | IEEE Xplore