Prasanta Bose Mark Quilling Model-Based Analysis of Autonomous Self-Adaptive Cooperating Robots. 57-63 2008 SASO http://dx.doi.org/10.1109/SASO.2008.69 conf/saso/2008 db/conf/saso/saso2008.html#BoseQ08