@misc{indiciae114af523e10b,
  title = {Formal Requirements-Based Programming for Complex Systems},
  author = {Rash, James L. and Hinchey, Michael G. and Rouff, Christopher A. and Gracanin, Denis},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050180252},
  note = {Source identifier: 20050180252}
}