@misc{indiciae29698b79a964,
  title = {Experience Using Formal Methods for Specifying a Multi-Agent System},
  author = {Rouff, Christopher and Rash, James and Hinchey, Michael and Szczur, Martha R.},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000091040},
  note = {Source identifier: 20000091040}
}