Christopher Rouff Walter Truszkowski James L. Rash Michael G. Hinchey Formal Approaches to Intelligent Swarms. 51 2003 conf/sew/2003 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270725 db/conf/sew/sew2003.html#RouffTRH03