@misc{indiciaeb51079da21b2,
  title = {A Tool for Requirements-Based Programming},
  author = {Rash, James L. and Hinchey, Michael G. and Rouff, Christopher A. and Gracanin, Denis and Erickson, John},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050139694},
  note = {Source identifier: 20050139694}
}