Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. Requirements of an integrated formal method for intelligent swarms. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 125-133, ACM, 2005. [doi]
Abstract is missing.