@misc{indiciae23a60b55c097,
  title = {Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation},
  author = {Hinchey, Michael G. and Margaria, Tiziana and Rash, James L. and Rouff, Christopher A. and Steffen, Bernard},
  year = {2010},
  url = {https://ntrs.nasa.gov/citations/20100017551},
  note = {Source identifier: 20100017551}
}