@misc{indiciae051c29af230d,
  title = {Choosing a software design method for real-time Ada applications: JSD process inversion as a means to tailor a design specification to the performance requirements and target machine},
  author = {Withey, James V.},
  year = {1986},
  url = {https://ntrs.nasa.gov/citations/19890006952},
  note = {Source identifier: 19890006952}
}