@misc{indiciae275d7f3f3835,
  title = {Developing an Approach for Analyzing and Verifying System Communication},
  author = {Stratton, William C. and Lindvall, Mikael and Ackermann, Chris and Sibol, Deane E. and Godfrey, Sally},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20090014714},
  note = {Source identifier: 20090014714}
}