@misc{indiciae1d579074d53c,
  title = {Formal Methods for Autonomic and Swarm-based Systems},
  author = {Rouff, Christopher and Vanderbilt, Amy and Hinchey, Mike and Truszkowski, Walt and Rash, James},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040171187},
  note = {Source identifier: 20040171187}
}