TY  - RPRT
TI  - 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
AU  - Hinchey, Michael G.
AU  - Margaria, Tiziana
AU  - Rash, James L.
AU  - Rouff, Christopher A.
AU  - Steffen, Bernard
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100017551
ID  - 20100017551
ER  -