@misc{indiciaea33cbebeda64,
  title = {State-Chart Autocoder},
  author = {Clark, Kenneth and Watney, Garth and Murray, Alexander and Benowitz, Edward},
  year = {2007},
  url = {https://ntrs.nasa.gov/citations/20090041679},
  note = {Source identifier: 20090041679}
}