@misc{indiciae98479b15341b,
  title = {Automated Generation of Message-Passing Programs: An Evaluation Using CAPTools},
  author = {Hribar, Michelle R. and Yan, Jerry C. and Jin, Haoqiang and Saini, Subhah},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20030000567},
  note = {Source identifier: 20030000567}
}