@inbook{9a4cd911ad9643fb926d01bead372c19,
title = "Requirements of an Integrated Formal Method for Intelligent Swarms",
keywords = "Conserving/monolithic integration, Intelligent swarms, NASA FAST Project, Swarm, ANTS mission in CSP, WSCCS/X-Machines",
author = "Mike Hinchey and Rash, {James L.} and Rouff, {Christopher A.} and Truszkowski, {Walt F.} and Vanderbilt, {Amy K.C.S.}",
year = "2012",
month = nov,
day = "29",
doi = "10.1002/9781118459898.ch3",
language = "English",
isbn = "9780470876183",
pages = "33--59",
booktitle = "Formal Methods for Industrial Critical Systems",
publisher = "John Wiley and Sons",
}