Model-Based Analysis of Autonomous Self-Adaptive Cooperating Robots | IEEE Conference Publication | IEEE Xplore